Apa perbedaan antara berhenti, menerima, dan memutuskan dalam konteks mesin Turing?


10

Apakah menerima berarti bahwa TM akan membaca dan mengenali arang dari sel yang sedang dibacanya? Dan apakah TM berhenti jika inputnya dapat ditentukan?


Menghentikan identik dengan mengakhiri (dalam keadaan menerima / menolak). Menerima bahasa (memutuskan keanggotaan dalam suatu bahasa) berarti berhenti di negara penerima untuk semua input yang termasuk dalam bahasa.
saadtaame

Ini adalah masalah definisi dasar. Apa yang membingungkanmu?
Raphael

Jawaban:


10

Menerima dan menolak keadaan yang mungkin masuk mesin Turing, didasarkan pada string yang dibaca dari pita, bukan hanya simbol dari satu sel. Tentu saja, keputusan untuk memasukkan kaset penerimaan atau penolakan pada akhirnya dibuat atas dasar satu simbol.

Mesin Turing akhirnya bisa memasuki kondisi penerima, memasuki kondisi menolak, atau mengulang selamanya. Jika masuk ke kondisi menerima atau menolak, maka itu berhenti.

Mesin Turing dikatakan total jika berhenti pada semua input.

Bahasa yang diterima oleh mesin Turing adalah himpunan semua kata yang, ketika diberikan sebagai input ke mesin Turing, menyebabkan mesin Turing memasuki kondisi penerimaan.

Suatu bahasa dikatakan dapat dipilih jika dan hanya jika ada total mesin Turing yang akan menerima bahasa tersebut.


Sebenarnya, kita harus berbicara tentang program mesin Turing. Mesin Turing sendiri adalah model. Itu penyalahgunaan ekspresi.
saadtaame
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.