图灵机的概念是否源自自动机？

当我被问到“图灵机是从自动机派生而来的时候，还是反过来呢？”时，我刚刚在讨论图灵机。

我当然不知道答案，但是我很想知道答案。图灵机基本上是下推式自动机的稍微复杂的版本。据此，我认为图灵机是从自动机派生的，但是我没有确切的证明或解释。我可能只是错了……也许它们是孤立开发的。

请！使这个思想从永远的纠缠切线中解脱出来。

都不行！

证明这种独立性的最好方法是阅读原始论文。

• 图灵在1936年的论文中介绍了图灵机，它没有涉及任何（抽象的）有限自动机的简单类型。

• McCulloch和Pitts在1943年发表的论文中介绍了“神经网络”，这是现代有限状态机的前身，他们将它们作为神经活动的简化模型，而不是计算本身。

有关有趣的早期观点，请参阅克劳德·香农（Claude Shannon）在1953年进行的调查，该调查完整介绍了图灵机，但并没有像我们今天所知的那样谈论有限自动机（尽管他援引了克莱因（Kleene）1951年的报告）。

现代有限自动机可以说是始于1956年的Kleene论文，该论文最初是1951年作为RAND技术报告发表的，其中定义了正则表达式。Kleene当然知道图灵的结果，他几乎同时也在本人（使用原始递归函数的语言）发表了类似的结果。尽管如此，Kleene对Turing的唯一引用是对Turing机器不是有限自动机的一种解释，这是因为它们的磁带无界。克莱因的思想当然有可能受到图灵的抽象的影响，但克莱因的定义（对我而言）似乎是独立的。

在1956年由Shannon和McCarthy编辑的调查卷中，Kleene的关于常规表达式的论文和Moore的关于有限状态换能器的论文最终都被发表，有限自动机和图灵机被并排讨论，但几乎完全独立。摩尔还引用了图灵，但只是在脚注中指出图灵机不是有限自动机。

（Kline的最新论文讲述了该书及其相关的达特茅斯会议的风雨如磐的历史，有时也称为“人工智能的诞生地”。）

（我认为大约在1937年，图灵在“ B型机器”上的工作中发现了神经网络的更早版本，该著作在《必不可少的图灵》一书中进行了转载。时间，直到今天，许多CS本科生仍然认为他们是在研究的某个时候“发现”了它，然后才发现了它的历史。）

您特别提到PDA。注意，图灵机等效于具有两个堆栈的PDA。PDA的原始原理似乎与“语言理论” ala chomsky的发展密切相关。

参见例如“ 句法分析和下推式存储”，《应用数学研讨会论文集》（第12卷）。普罗维登斯，RI：美国数学学会，1961年

这是Oettinger看到的Ive最早的参考文献之一，“自动语法分析和下推式存储” p104，不知道是否有对PDA的较早参考。

对所有相互关联的自动机进行了多年的研究，才开始设计出统一的理论（仍在构建中）。当看到lambda演算（由Church独立开发）等同于图灵机并且等效于Post机器时，图灵的完整概念是在大约30年代末提出的（尽管这3种模型是在某种程度上设计的）独立且未立即意识到在其原始结构上与Turing等效）。

新模型仍在设计中，例如Cellular Automata的历史要近得多，并且在各种意义上都显示出图灵已完成。

可以说，大多数从事计算机科学的人都熟悉Turings 1936年的开创性论文，并且对以后所有的自动机构造形式都产生了很大的影响（特别是状态转换表的概念，该图似乎是由Turing引入的）

只为它的地狱：

回顾过去，您会说图灵的1936年《 Entscheidungs》问题论文的意义是什么？

我一直觉得人们喜欢唱歌和跳舞。就像Trinity的理论那样，而对于工程师来说，您只需要了解存储程序的想法，然后马上就说：“那绝对是一流的，这就是做到这一点的方式。” 那就是所有要知道的。

那篇论文没有任何区别，没有任何实际意义。他很幸运能够全部出版，但我很高兴他做到了。我的意思是[Alonzo] Churchl通过其他方法也得到了相同的结果。

我喜欢图灵；我的意思是我们在一起相处得很好。他喜欢制定法律，这并没有使我喜欢他，但他和我相处得很好。人们有时会说我不接受图灵，但事实并非如此。但是后来我非常小心，不要介入。

莫里斯·威尔克斯（Maurice Wilkes）。 http://cacm.acm.org/magazines/2009/9/38898-an-interview-with-maurice-wilkes/fulltext