形式语言不会或很难产生歧义。 递归和迭代是计算机工作的重要逻辑。