Pertanyaan yang berkaitan dengan Mesin Turing dengan status tidak berguna

10

OK, jadi inilah pertanyaan dari tes sebelumnya di kelas Teori Komputasi saya:

Keadaan tidak berguna di TM adalah yang tidak pernah dimasukkan pada string input apa pun. Biarkan Buktikan bahwa tidak dapat ditentukan.

USELESSTM={M,qq is a useless state in M}.
USELESSTM

Saya pikir saya punya jawaban, tetapi saya tidak yakin apakah itu benar. Akan memasukkannya di bagian jawaban.

BrotherJack
sumber
Di masa depan, harap sertakan upaya Anda dalam pertanyaan!
Raphael
1
@Rapael baru saja melakukannya. Saya menulisnya ketika saya melakukan pertanyaan, tetapi karena kurangnya reputasi saya, saya tidak dapat mempostingnya setidaknya selama 8 jam. Saya akan tertarik mengetahui apakah itu jawaban yang valid.
BrotherJack
Tidak, maksud saya hanya memasukkannya dalam pertanyaan jika ada poin tertentu di mana Anda tidak pasti.
Raphael

Jawaban:

12

Ini jelas dapat direduksi dari Masalah Pemutusan Hubungan. Jika sebuah mesin tidak berhenti pada input maka setiap status final adalah "tidak berguna". Diberikan input untuk masalah mudah untuk membangun yang berhenti pada setiap input (dengan demikian keadaan akhirnya tidak sia-sia) jika dan hanya jika berhenti di . Dengan begitu Anda dapat memutuskan Menghentikan Masalah jika Anda dapat memutuskan , yang menghasilkan kontradiksi.x M , x M x M x U S E L E S S T MMxM,xMxMxUSELESSTM

Ran G.
sumber
..dan karena masalah Hentikan tidak dapat diputuskan, masalah ini juga tidak dapat diputuskan, benar?
BrotherJack
Memang ini benar.
Ran G.
2

Untuk keperluan bukti ini, kami akan menganggap bahwa dapat dipilih untuk menampilkan kontradiksi.USELESSTM

Buat TM yang melakukan hal berikut:R

  • Mengonversi TM ke pushata automata dengan tumpukan santai (mis. Tidak ada persyaratan LIFO). Ini sama dengan grafik terarah yang merinci transisi antara statusP MMPM
  • Tandai negara mulai dari .P
  • Dari keadaan awal, mulailah pencarian pertama di sepanjang setiap tepi keluar menandai setiap node yang tidak bertanda.
  • Ketika pencarian berakhir, jika ada node tidak bertanda yang cocok dengan , terima ; jika tidak tolak .q

Kemudian buat TM = "Pada masukan $$S

  1. Buat TM seperti yang ditunjukkan di atas.R
  2. Jalankan pada .RqR
  3. Jika kembali menerima, terima ; jika menolak, tolak " RRR

Jadi, jika adalah penentu untuk maka adalah penentu untuk (masalah penerimaan). Karena terbukti tidak dapat diputuskan (lihat Teori Sutan Komputasi Michael Sipser 4.11 pada halaman 174), kami telah mencapai kontradiksi. Oleh karena itu, hipotesis asli salah dan tidak dapat ditentukan.U S E L E S S T M S A T M A T M U S E L E S S T MRUSELESSTMSATMATMUSELESSTM

BrotherJack
sumber
Apa arti mengubah TM menjadi PDA dengan tumpukan santai?
Ran G.
1
Apakah the decider diasumsikan ada? jika demikian - Anda tidak perlu menjelaskan tindakannya. Bahkan Anda tidak dapat menggambarkan aksinya, karena itu tidak benar-benar ada. Yang Anda tahu itu menjawab ya / tidak sesuai dengan apakah input di atau tidak . LRL
Ran G.