Apakah konsep Mesin Turing berasal dari automata?

Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?"

Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu saya akan berasumsi bahwa Mesin Turing berasal dari automata, namun saya tidak punya bukti atau penjelasan yang pasti. Saya mungkin saja salah ... mungkin mereka dikembangkan secara terpisah.

Silahkan! Bebaskan pikiran ini dari jeratan keterikatan abadi.

Tidak juga!

Cara terbaik untuk melihat independensi ini adalah dengan membaca koran asli .

• Makalah 1936 Turing yang memperkenalkan mesin Turing tidak merujuk pada jenis otomat terbatas (abstrak) yang lebih sederhana.

• Makalah McCulloch dan Pitts 1943 memperkenalkan "jaring saraf", pendahulu dari mesin negara-terbatas modern, mengusulkan mereka sebagai model aktivitas saraf yang disederhanakan, bukan perhitungan semata.

Untuk perspektif awal yang menarik, lihat survei tahun 1953 oleh Claude Shannon , yang memiliki seluruh bagian tentang mesin Turing, tetapi tidak mengatakan apa pun tentang automata terbatas seperti yang akan kita kenali hari ini (meskipun ia mengutip laporan 1951 Kleene).

Automata terbatas modern dapat dimulai dengan makalah Kleen tahun 1956 , yang awalnya diterbitkan sebagai laporan teknis RAND pada tahun 1951, yang mendefinisikan ekspresi reguler. Kleene tentu menyadari hasil Turing, setelah menerbitkan hasil yang serupa sendiri (dalam bahasa fungsi rekursif primitif) pada waktu yang hampir bersamaan. Namun demikian, satu-satunya referensi Kleene untuk Turing adalah penjelasan bahwa mesin Turing tidak terbatas automata, karena kaset tidak terikat mereka. Tentu saja mungkin pemikiran Kleene dipengaruhi oleh abstraksi Turing, tetapi definisi Kleene tampaknya (bagi saya) bersifat independen.

Pada volume survei tahun 1956 yang diedit oleh Shannon dan McCarthy , di mana kedua makalah Kleene tentang ekspersi reguler dan makalah Moore tentang transduser keadaan -akhirnya akhirnya diterbitkan, automata terbatas dan mesin Turing dibahas berdampingan, tetapi hampir sepenuhnya independen. Moore juga mengutip Turing, tetapi hanya dalam catatan kaki yang menyatakan bahwa mesin Turing tidak terbatas automata.

( Sebuah makalah Kline baru-baru ini menceritakan sejarah yang agak bergejolak dari volume ini dan konferensi Dartmouth yang terkait, kadang-kadang disebut "tempat kelahiran AI").

(Versi neural net yang lebih awal ditemukan dalam karya Turing tentang "mesin tipe B", seperti dicetak ulang dalam buku "The essential Turing", dari sekitar tahun 1937, saya kira. Sepertinya banyak orang yang bermain dengan ide di waktu, karena bahkan saat ini banyak undergrad CS berpikir mereka telah "menemukan" itu di beberapa titik dalam studi mereka sebelum menemukan sejarahnya.)

Anda menyebutkan PDA secara khusus. perhatikan mesin Turing setara dengan PDA dengan dua tumpukan. Dasar pemikiran PDA tampaknya terkait erat dengan pengembangan "teori bahasa" ala chomsky.

lihat misalnya Analisis Sintaksis dan Pushdown Store, "Prosiding Simposium dalam Matematika Terapan (Vol. 12). Providence, RI: American Mathematical Society, 1961

ini memiliki salah satu referensi paling awal yang pernah saya lihat oleh Oettinger, "Analisis sintaksis otomatis dan pushdown store" p104, tidak tahu apakah ada referensi sebelumnya ke PDA.

butuh bertahun-tahun mempelajari semua automata yang saling terkait untuk mulai menyusun teori pemersatu (masih dibangun). konsep lengkap Turing dirancang sekitar akhir 30-an atau lebih ketika terlihat bahwa kalkulus lambda (dikembangkan secara independen oleh Gereja) setara dengan mesin Turing & ekivalensi dengan mesin Pos ditunjukkan sekitar waktu yang sama (walaupun 3 model ini dirancang agak mandiri & tidak segera direalisasikan sebagai setara Turing pada konstruksi asli mereka).

model-model baru masih sedang dirancang misalnya Cellular Automata memiliki sejarah yang jauh lebih baru dan telah terbukti dalam berbagai hal Turing lengkap.

tampaknya adil untuk mengatakan bahwa sebagian besar bekerja dalam ilmu komputer akrab dengan kertas Turings seminal 1936 & bahwa itu sangat mempengaruhi semua formulasi kemudian konstruksi automata (terutama konsep tabel transisi negara yang tampaknya telah diperkenalkan oleh Turing)

Hanya untuk itu:

Melihat ke belakang, apa yang akan Anda katakan adalah pentingnya makalah Turing's 1936 Entscheidungs?

Saya selalu merasa orang suka membuat lagu dan menari. Sesuatu seperti doktrin Tritunggal yang terlibat sedangkan untuk seorang insinyur Anda hanya perlu diberi tahu tentang ide program yang tersimpan dan Anda akan langsung berkata, "Itu benar-benar kelas satu, itu cara untuk melakukannya." Hanya itu yang perlu diketahui.

Tidak ada perbedaan dalam makalah itu yang memiliki signifikansi praktis. Dia beruntung menerbitkannya sama sekali, tetapi saya senang dia melakukannya. Maksudku [Alonzo] Churchl mendapat hasil yang sama dengan metode lain.

Saya suka Turing; Maksudku, kita bersama dengan sangat baik. Dia suka menetapkan hukum dan itu tidak membuatnya disayangi, tetapi dia dan saya cukup baik. Orang-orang kadang mengatakan saya tidak bergaul dengan Turing tetapi itu tidak benar. Tetapi kemudian saya sangat berhati-hati untuk tidak terlibat.

Maurice Wilkes. http://cacm.acm.org/magazine/2009/9/38898-an-interview-with-maurice-wilkes/fulltext