チューリングマシンの概念はオートマトンから派生したものですか？

「チューリングマシンはオートマトンから派生したものですか、それともその逆ですか？」

もちろん答えは知りませんでしたが、知りたいです。チューリングマシンは、基本的にプッシュダウンオートマトンのわずかに洗練されたバージョンです。それから、チューリングマシンはオートマトンから派生したと仮定しますが、決定的な証拠や説明はありません。私は単に間違っているかもしれません...おそらくそれらは孤立して開発されました。

お願いします！もつれの永遠の接線からこの心を解放します。

どちらでもない！

この独立性を確認する最良の方法は、元の論文を読むことです。

• チューリング機械を紹介するチューリングの1936年の論文は、より単純なタイプの（抽象的な）有限オートマトンについて言及していません。

• McCullochとPittsの1943年の論文は、現代の有限状態マシンの前身である「神経網」を紹介しており、計算そのものではなく、神経活動の単純化されたモデルとして提案しました。

興味深い初期の見通しについては、チューリングマシンに関するセクション全体を含むクロードシャノンによる1953年の調査を参照してください。

現代の有限オートマトンは、おそらく1951年にRANDテクニカルレポートとして最初に発行されたKleeneの1956年の論文から始まり、正規表現を定義しました。Kleeneは確かにTuringの結果を認識しており、ほぼ同時に（原始再帰関数の言語で）同様の結果を公​​開しました。それでも、KleeneのTuringへの唯一の言及は、Turingマシンが無制限のテープのために有限オートマトンではないという説明です。もちろん、Kleeneの思考がTuringの抽象化の影響を受けた可能性はありますが、Kleeneの定義は（私には）独立しているように見えます。

ShannonとMcCarthyが編集した1956年の調査では、Kleeneの正規表現に関する論文とMooreの有限状態変換器に関する論文の両方が最終的に出版され、有限オートマトンとチューリングマシンがほぼ完全に独立して議論されました。ムーアもチューリングを引用していますが、チューリング機械は有限オートマトンではないことを示す脚注にのみ記載されています。

（Klineの最近の論文では、この巻のかなり荒れた歴史と、「AIの発祥地」とも呼ばれる関連するダートマス会議について詳しく説明しています。）

（ニューラルネットの以前のバージョンは、1937年頃からの本「The essential Turing」に転載されているように、「タイプBマシン」に関するチューリングの研究にあります。多くの人がこのアイデアで遊んでいたようです現在でも多くのCS学部生は、その歴史を発見する前に、研究のある時点でそれを「発明した」と考えています。

PDAに特に言及しています。チューリングマシンは、2つのスタックを持つPDAと同等です。PDAの元の理論的根拠は、「言語理論」ala chomskyの開発と密接に関連しているようです。

たとえば、構文解析とプッシュダウンストア、「応用数学におけるシンポジウムの議事録（第12巻）」を参照してください。プロビデンス、RI：American Mathematical Society、1961

これは、Oettingerが見た初期の参考文献の1つである「自動構文解析とプッシュダウンストア」p104であり、PDAへの以前の参照があるかどうかはわかりません。

統一理論（まだ構築中）の考案を開始するには、すべての相互関係のあるオートマトンの研究に何年もかかりました。チューリングの完全な概念は、ラムダ計算（教会によって独立して開発された）がチューリングマシンと同等であると見られ、ほぼ同時にポストマシンと同等であることがわかったときに、30代後半に考案されました（これらの3つのモデルは多少考案されましたが、独立しており、元の構造ではチューリングと同等であるとすぐに認識されませんでした）。

セルオートマトンははるかに最近の歴史を持ち、チューリング完全なさまざまな意味で示されています。

コンピュータサイエンスで働くほとんどの人がチューリングの独創的な1936年の論文に精通しており、それがオートマトン構造のすべてのその後の定式化（特にチューリングによって導入されたと思われる状態遷移表の概念）に大きな影響を与えたと言ってもいいようです

ただそれのために：

振り返ってみると、チューリングの1936年のEntscheidungs問題の論文の重要性は何でしたか？

人々は歌やダンスを作るのが好きだといつも感じていました。トリニティの教義のようなものが関係しているのに対し、エンジニアにとっては、保存されたプログラムのアイデアについてのみ伝える必要があり、一度に「それは絶対に一流です、それが方法です」と言うでしょう。知っておくべきことはそれだけです。

その論文には実用的な意味のある区別はありませんでした。彼は幸運にもそれを公開してくれましたが、私は彼がそうしてくれてとてもうれしいです。[アロンゾ]チャーチルは他の方法でも同じ結果を得たということです。

チューリングが好きでした。私たちは一緒に非常にうまくいったということです。彼は法律を制定するのが好きで、それは私に彼を愛しませんでしたが、彼と私は非常にうまくいきました。私はチューリングに乗らなかったと言う人もいますが、それは真実ではありません。しかし、その後、私は関与しないように非常に注意しました。

モーリス・ウィルクス。 http://cacm.acm.org/magazines/2009/9/38898-an-interview-with-maurice-wilkes/fulltext