Apa hubungan antara Mesin Turing dengan pita terbatas dan Finite State Automata?


9

Saya ingat dari kelas sarjana bahwa untuk Mesin Turing dengan kaset berhingga akan selalu ada Finite State Automata yang sesuai, tetapi saya tidak dapat menemukan ini dikonfirmasi di mana pun di internet. Apakah ini yang sebenarnya terjadi atau saya salah mengingat?


Berapa banyak kemungkinan keadaan yang dimiliki mesin Turing dengan pita terbatas?
Dave Clarke

Akan banyak, tetapi, seperti yang ditunjukkan oleh jawaban di bawah ini, itu belum cukup untuk menggambar kesetaraan.
Jesse Berlin

Jawaban:


9

Itu tergantung apa yang Anda maksud dengan "tape terbatas". Jika Anda mengikat panjang rekaman dengan beberapa fungsi input, maka tidak - Anda dapat mengenali bahasa yang tidak biasa. Sebagai contoh, pertimbangkan LBA .

kk

Untuk membuktikan ini, pertimbangkan informasi apa yang Anda butuhkan untuk menentukan masa depan menjalankan TM: Anda perlu isi rekaman itu, lokasi kepala, dan negara. Jika rekaman itu memiliki jumlah sel yang konstan, dan alfabetnya tetap, maka Anda memiliki jumlah konfigurasi yang konstan, yang dapat Anda enkode sebagai keadaan otomat terbatas.


Jawaban Anda untuk pita terikat itu persis seperti yang saya cari. Terima kasih!
Jesse Berlin
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.