图灵机（五）

尽管图灵机是并且曾经是一个基本理论模型，它界定了什么是可能的，而不是在一般层面上，但它并没有对编程语言的语法和语义产生真正的影响。在那种情况下，产生影响的是 λ 演算和后生成系统（尽管在这里也应该小心不要夸大形式模型对编程实践的影响）。事实上，图灵机通常被视为机器模型，而不是编程模型：

图灵机在概念上与一般使用的自动计算机并无不同，但它们的控制结构非常差。[…] 当然，大多数可计算性理论处理的问题与计算的具体表示方式无关。只要可计算函数能以某种方式用符号表达式（例如数字）表示，并且可用给定函数计算的函数能以某种方式用可用原始函数表达式计算的表达式表示，这就足够了。但是，计算的实际理论必须适用于特定的算法。（McCarthy 1963：37）

因此，人们认为图灵机在计算机科学中的作用应该更多地放在理论层面：如今，许多人仍将通用机器视为现代计算机的模型，而它通过操纵程序作为数据来模仿机器的能力是现代计算的基本原理之一。此外，它作为可计算性模型的稳健性和自然性使其成为攻击所谓（物理）丘奇-图灵论题版本时要挑战的主要模型。