Definisi Mesin Turing

Ketika dunia sedang menuju kebakaran global baru, pada tahun 1930-an, ilmu pengetahuan komputasi Itu juga maju, dipandu dalam banyak kasus oleh persiapan untuk upaya perang yang telah diantisipasi beberapa orang akan tiba.

Dalam konteks inilah matematikawan Inggris Alan Turing (a posteriori dianggap sebagai salah satu bapak teori) komputasi modern) mengembangkan karyanya dan, pada tahun 1936, mendalilkan apa yang akan menjadi dasar dari komputer modern.

Panggilan mesin turing Ini adalah perangkat teoretis yang mampu memproses data sesuai dengan aturan yang diberikan.

Baik aturan dan datanya terpisah; sebenarnya, Turing membayangkan bahwa aturan akan disimpan pada semacam media tetap, sedangkan data akan disimpan pada kaset yang dapat dimodifikasi oleh mesin yang sama sesuai dengan tabel aturan.

Kita dengan jelas melihat dalam model konseptual ini kemajuan dari apa yang akan menjadi komputer modern: bahkan jika seseorang memiliki tingkat Nama pengguna

sederhana, Anda dapat dengan mudah melihat perbedaan antara aplikasi "Tidak dapat diubah" (dengan nuansa, tetapi dalam kasus ini mari kita anggap seperti itu) dan data, yang dapat diubah mengikuti aturan, yang akan menjadi pemrograman.

Meskipun mesin Turing teoretis sangat sederhana, hanya melakukan operasi yang sangat mendasar seperti perubahan keadaan, membaca dan menulis, ia mampu melakukan semua perhitungan matematis yang dapat dilakukan oleh komputer mekanis menggunakan a algoritma.

Dengan kata lain, jika suatu masalah dapat diekspresikan melalui a algoritma Secara tertulis, itu dapat diproses - setidaknya pada tingkat teoretis - oleh mesin Turing.

Alan Turing menganggapnya sebagai latihan untuk menunjukkan bahwa ada masalah matematika yang tidak dapat dipecahkan oleh komputer.

Pita data, yang menurut Turing tidak terbatas, dapat dipindahkan oleh mesin dari kanan ke kiri dan dari kiri ke kanan, seperti kaset atau kaset film lama yang dapat diputar ulang atau dimajukan ke kebijaksanaan.

Himpunan aturan juga dapat dipahami sebagai bahasa pemrograman, karena harus memiliki sintaks logika dan konsisten.

Di belakang, matematikawan lain telah membuat versi yang lebih canggih dari Mesin Turing.

Jadi, ada mesin dengan dua pita, determinis, atau bahkan mesin Turing kuantum yang dapat bantuan, seperti yang dilakukan nenek moyangnya yang termasyhur, meletakkan dasar perhitungan yang telah lama ditunggu-tunggu kuantum.

Foto Fotolia: Chrisdorney / Steve Simmons

Topik dalam Mesin Turing