Ketika dunia sedang menuju kebakaran global baru, pada tahun 1930-an, ilmu komputer juga maju, dipandu dalam banyak kasus oleh persiapan untuk upaya perang yang beberapa orang sudah meramalkan akan datang.
Dalam konteks inilah matematikawan Inggris Alan Turing (a posteriori dianggap sebagai salah satu bapak komputasi modern) mengembangkan karyanya dan, pada tahun 1936, mendalilkan apa yang akan menjadi dasar dari komputer modern.
Yang disebut Mesin Turing 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, sementara data akan disimpan pada kaset yang dapat dimodifikasi oleh mesin yang sama sesuai dengan tabel aturan.
Kita jelas melihat dalam model konseptual ini muka apa komputer modern akan: bahkan jika Anda memiliki sederhana pengguna tingkat , Anda dapat dengan mudah melihat perbedaan antara “berubah” aplikasi (dengan nuansa, tetapi dalam kasus ini mari mengambil cara itu ) dan data , yang dapat diubah dengan mengikuti aturan, yang akan menjadi pemrograman .
Terlepas dari kenyataan bahwa 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 suatu algoritme.
Dengan kata lain, jika suatu masalah dapat diekspresikan menggunakan algoritme tertulis , masalah tersebut 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, Turing dipahami sebagai tak terbatas, dapat dipindahkan oleh mesin dari kanan ke kiri dan kiri ke kanan, seperti pita kaset atau film tua yang dapat diputar ulang atau dimajukan sesuai kebijaksanaan .
Himpunan aturan juga dapat dipahami sebagai bahasa pemrograman, karena harus memiliki sintaks yang logis dan konsisten.
Di belakang, matematikawan lain telah membuat versi yang lebih canggih dari Mesin Turing.
Jadi, ada mesin deterministik dua pita, atau bahkan mesin Turing kuantum yang dapat membantu kita, seperti yang dilakukan nenek moyangnya yang termasyhur, untuk meletakkan dasar komputasi kuantum yang telah lama ditunggu-tunggu.
Foto Fotolia: Chrisdorney / Steve Simmons
Topik di Mesin Turing
