Phenquestions
Mesin Turing adalah konstruksi teoretis sentral dalam ilmu komputer. Mesin Turing adalah model komputasi matematika abstrak. Penggunaan mesin Turing membantu menjelaskan apa itu komputasi dengan mendemarkasi apa yang disebut "fungsi yang dapat dihitung".”
Penelitian awal Alan Turing ke dalam logika berfokus pada masalah terkenal yang belum terpecahkan yang dikenal sebagai masalah Entscheidungs. The Entscheidungsproblem (secara kasar diterjemahkan dari bahasa Jerman sebagai masalah keputusan) diusulkan oleh filsuf dan matematikawan David Hilbert pada tahun 1928. Masalahnya menanyakan apakah ada algoritma yang akan memutuskan setiap pernyataan dalam bahasa formal.
Bahasa formal adalah sistem aksioma dan aturan inferensi seperti yang ada dalam aritmatika atau logika orde pertama. Aksioma dapat berupa simbol apa saja, dan aturan inferensi dapat berupa daftar aturan apa pun untuk memanipulasi simbol tersebut. "Memutuskan setiap pernyataan" berarti mengeluarkan apakah pernyataan itu benar/salah atau mengeluarkan apakah pernyataan itu dapat diturunkan/dikurangi. Teorema kelengkapan Kurt Godel membuktikan bahwa algoritma yang memutuskan validitas setara dengan prosedur efektif yang memutuskan derivabilitas. Makalah Alan Turing tahun 1936 “On Computable Numbers, with a Application to the Entscheidungsproblem”, membuktikan hasil negatif, bahwa tidak mungkin untuk memutuskan secara algoritmik setiap pernyataan dalam sistem formal.
Alan Turing
Untuk membuktikan hasil negatif untuk masalah Entscheidungs, Turing perlu memformalkan gagasan tentang suatu algoritma. Formalisasi algoritma Turing adalah model matematika komputasi yang kemudian dikenal sebagai mesin Turing. Sebuah mesin Turing memiliki satu set status yang terbatas bahwa mesin dapat berada di. Mesin Turing memiliki pita panjang tak terhingga yang dibagi menjadi kotak. Pada setiap kotak di pita, ada simbol yang diambil dari serangkaian simbol yang terbatas. Setiap saat dalam perhitungan, mesin Turing membaca simbol pada satu kotak pita. Mesin Turing dapat mengganti simbol itu dengan simbol lain dan pindah ke kotak ke kanan atau kotak ke kiri. Tindakan yang dilakukan mesin Turing secara otomatis ditentukan oleh status mesin tersebut. Setelah simbol penggantian dan pindah ke tindakan persegi yang berbeda telah terjadi, mesin Turing dapat bertransisi ke keadaan yang berbeda. Setiap negara bagian yang berbeda memiliki seperangkat aturan yang berbeda tentang cara mengganti simbol dan arah mana yang harus dipindahkan.
Implementasi Fisik Langka dari Desain Mesin Turing (tanpa pita tak terbatas)
Formulasi kanonik dari mesin Turing biasanya terdiri dari alfabet biner eksklusif 0s dan 1s. Rumusan ini sesuai dengan intuisi pemrogram komputer modern, mengingat semua komputer modern menggunakan biner. Faktanya, mesin Turing bersifat netral sehubungan dengan ukuran alfabet simbol. Mesin Turing juga dapat menggunakan simbol apa pun, baik angka atau diambil dari jenis huruf lain apa pun seperti simbol bergambar atau alfabet Latin. Formulasi apa pun dari setiap alfabet terbatas yang mungkin terbukti dapat direduksi menjadi mesin Turing biner.
Mesin Turing mengasumsikan bahwa jumlah memori yang tak terbatas tersedia. Tidak ada mesin nyata yang dibuat secara fisik dapat memenuhi persyaratan sebagai mesin Turing. Mesin Turing juga mengasumsikan jumlah waktu yang berpotensi tak terbatas yang dapat dihabiskan untuk menghitung fungsi. Asumsi ini dibuat untuk menghasilkan kelas paling luas dari fungsi yang mungkin untuk definisi Turing tentang fungsi yang dapat dihitung. Fungsi komputasi Turing adalah fungsi apa pun yang dapat dihitung oleh mesin Turing. Banyak dari fungsi yang dapat dihitung ini mungkin tidak pernah dapat dihitung oleh mesin yang dipakai secara fisik karena mereka membutuhkan terlalu banyak waktu atau memori.
Tesis Church-Turing menegaskan kesetaraan fungsi yang dapat dihitung dan fungsi yang dapat dihitung oleh mesin Turing. Ini mensyaratkan bahwa semua fungsi yang tidak dapat dihitung oleh mesin Turing tidak dapat dihitung dengan metode lain apa pun. David Hilbert mengharapkan jawaban positif untuk masalah Entscheidungs, yang berarti bahwa semua masalah dapat dihitung. Hasil Turing telah mengarah pada penemuan banyak masalah yang tidak dapat dihitung.
Masalah tak terhitung yang paling terkenal adalah Masalah Terhenti. Masalah Halting adalah masalah membuat algoritma yang dapat, dalam kasus umum, memutuskan apakah program komputer dengan inputnya akan berhenti atau berlanjut selamanya. Meskipun ada kasus tertentu di mana masalah Terhenti dapat diselesaikan, itu tidak dapat diselesaikan untuk setiap program komputer dengan input apa pun. Hasil ini memiliki konsekuensi penting untuk pemrograman komputer, karena pemrogram komputer perlu menyadari kemungkinan loop tak terbatas dan ketidakmungkinan mendeteksi semua loop tak terbatas sebelum menjalankan program mereka.
Implikasi lain dari mesin Turing adalah kemungkinan mesin Turing universal. Tersirat dalam desain Turing adalah konsep menyimpan program yang memodifikasi data di samping data yang dimodifikasi. Ini menyarankan kemungkinan komputer serba guna dan dapat diprogram ulang. Komputer modern biasanya adalah mesin Turing universal dalam arti bahwa mereka dapat diprogram untuk menjalankan algoritma apa pun. Ini menghilangkan kebutuhan akan perangkat keras yang berbeda untuk setiap program komputer potensial dan memperkenalkan perbedaan perangkat keras/perangkat lunak.
Model mesin Turing secara langsung mengarah pada penemuan komputer, tetapi itu bukan cetak biru yang sama yang digunakan untuk merekayasa komputer modern. Arsitektur von Neumann yang digunakan sebagai cetak biru untuk komputer modern menggunakan konsep program tersimpan yang tersirat dalam model mesin Turing tetapi berbeda dari model mesin Turing lainnya dalam beberapa hal penting. Perbedaan terbesar adalah bahwa arsitektur von Neumann tidak menggunakan kepala baca-tulis dan sebagai gantinya mencakup beberapa register, memori akses acak, bus data, satu set kecil instruksi mesin dasar, dan kemampuan pemrosesan beberapa bit. Arsitektur von Neumann juga secara eksplisit memungkinkan perangkat input dan output khusus seperti keyboard dan monitor.
Model mesin Turing adalah model komputasi matematika pertama. Ini mengarah langsung pada penemuan komputer fisik. Komputer fisik memiliki semua kemampuan yang sama dengan yang dimiliki mesin Turing, dengan asumsi memori terbatas dan batasan waktu pada komputasi aktual. Formulasi Turing masih memainkan peran sentral dalam studi komputasi. Ilmuwan komputer masih aktif terlibat dalam meneliti apakah fungsi tertentu dapat dihitung oleh mesin Turing.
