Les memberikan jawaban yang ringkas dan benar: definisi matematika setepat mungkin, dan secara eksplisit memasukkan rekaman tak terbatas ke dalam definisi mesin Turing akan membuat definisi itu jauh lebih singkat, jadi kami tidak.
Ini tidak menjawab pertanyaan: mengapa ? Bagaimana definisi mengecualikan rekaman tak terbatas ketika kita membutuhkannya?
Jawabannya: kita tidak. Dalam arti tertentu, mesin Turing sebenarnya tidak membutuhkan kaset tanpa batas, dan definisi mereka membuat ini menjadi jelas.
Menurut definisi, perpindahan mesin Turing membawa mesin dari satu konfigurasi ke konfigurasi lainnya; konfigurasi mencakup string hingga , yang kami anggap sebagai fragmen terbatas dari kaset tertulis. Setiap gerakan menggerakkan kepala kaset dengan satu posisi atau menimpa simbol di bawah kepala kaset. Namun - dan ini sangat penting untuk operasinya:
- b
- kita bisa sering melakukannya tanpa batas .
nn
Salah satu cara pengulangan kata ini adalah dengan mengatakan: mesin beroperasi pada pita tanpa batas, seluruhnya diisi dengan kertas kosong, kecuali untuk fragmen terbatas tempat kepala kasetnya berada. Inilah yang dikatakan sebagian besar penjelasan.
Cara lain untuk mengulangi ini adalah dengan mengatakan: mesin beroperasi pada pita terbatas, diperpanjang dengan kosong setiap kali kepalanya bergerak dari pita di kedua ujungnya.
Ini adalah kedua cara yang valid untuk membuat konsep bagaimana mesin beroperasi: dalam kedua kasus, jika Anda benar-benar memiliki mesin yang beroperasi seperti itu, itu akan benar menerapkan mesin Turing.
Jika yang Anda minati adalah mengajarkan siswa bagaimana mesin Turing bekerja, mungkin tidak masalah konseptualisasi mana yang Anda pilih.
Namun, saya pikir konseptualisasi pertama adalah kesalahan, karena dua alasan:
- Itu tidak realistis . Kita sebenarnya tidak bisa membangun mesin dengan pita tak terbatas. Kita dapat membangun mesin dengan pita terbatas yang diperpanjang berdasarkan permintaan.
- Ini berlawanan dengan intuisi. Kami tidak menganggap mesin yang melakukan tugas secara sewenang-wenang sering kali mengandung sumber daya yang tak terbatas. Misalnya, kami tidak menganggap mesin fotokopi berisi kertas fotokopi dalam jumlah tak terbatas. Mesin Turing memodelkan aktivitas komputasi. Mereka memodelkan apa yang akan terjadi jika kami mengganti komputer (yang, pada saat penemuannya, adalah seorang wanita yang melakukan perhitungan di atas kertas) dengan mesin yang mampu melakukan perhitungan yang dapat diprogram secara sewenang-wenang. Kami tidak menganggap wanita itu mengandung kertas yang tak terbatas. Alih-alih, kami menganggap ia akan diberi kertas dalam jumlah berapa pun yang ia butuhkan, dan kami menganggap kegagalan untuk melakukannya sebagai kegagalan lingkungan, daripada mengatakan wanita seperti itu tidak mungkin ada. Mengapa tidak melakukan hal yang sama untuk mesin?
- Itu mengundang kesimpulan yang menyesatkan. Saya sudah sering melihat ini. Misalnya:
- Orang mengatakan mesin Turing sebenarnya tidak bisa dibangun, sementara mesin negara hingga bisa. Yah, kita tidak bisa membangun mesin negara berhingga besar yang sewenang-wenang seperti kita tidak bisa menyediakan jumlah rekaman sewenang-wenang ke mesin Turing.
- Orang mengatakan mesin Turing tidak memodelkan komputer dengan benar, sedangkan mesin negara terbatas melakukannya. Ini berfungsi untuk membuat poin penting: jika semua yang kita tertarik menggunakan mesin untuk memutuskan bahasa input, maka komputer yang hanya beroperasi pada penyimpanan internal (tetap) dapat sepenuhnya mengimplementasikan mesin keadaan terbatas apa pun hingga ukuran tertentu, sementara itu tidak dapat sepenuhnya menerapkan sebagian besar mesin Turing, karena akan kehabisan penyimpanan internal bagi banyak dari mereka. Namun, ini sering digeneralisasi dengan mengatakan: komputer adalah mesin negara yang terbatas, yang menyesatkan:
- Itu tidak melukiskan gambaran realistis dari kebanyakan pemrograman komputer. Memang, pemrograman dataflow sebenarnya didasarkan pada mesin negara yang terbatas, tetapi pemrograman imperatif tradisional tidak; menggunakan program yang lebih dekat dengan mesin contoh Turing.
- Dalam praktiknya, komputer juga berinteraksi dengan sumber input, output, dan penyimpanan eksternal yang ukurannya tidak tetap.
- Mesin Turing tidak seharusnya memodelkan komputer sejak awal; mereka memodelkan komputasi sewenang-wenang.
Singkatnya: gagasan mesin Turing menggunakan atau mengandung pita tak terbatas berfungsi untuk menekankan titik teknis yang penting, tetapi itu tidak selalu merupakan cara paling intuitif untuk berpikir tentang mesin Turing, dan itu mengundang kesimpulan yang salah. Gunakan dengan hati-hati.