Pembatasan Turing Machine yang membuat halting decidable


33

Jika seseorang membatasi Mesin Turing ke pita hingga (yaitu, untuk menggunakan ruang terbatas ), maka masalah penghentian dapat ditentukan, pada dasarnya karena setelah sejumlah langkah (yang dapat dihitung dari jumlah negara , dan , dan ukuran alfabet), konfigurasi harus diulang.SQS

Apakah ada pembatasan Turing Machine alami lainnya yang membuat halting dapat diputuskan?

Tentu saja jika grafik transisi-negara tidak memiliki loop atau siklus, penghentian dapat ditentukan. Ada yang lain


1
Anda juga dapat mempertimbangkan TM yang dapat terbukti total dalam katakanlah PA, ZFC, ...
Kaveh

@ Kaveh: Mungkinkah itu diutarakan sebagai pembatasan pada perilaku TM, dalam arti hampir fisik?
Joseph O'Rourke

Tidak, kurasa tidak.
Kaveh

1
Masalah keputusan pada mesin register tunggal (dengan instruksi kenaikan-dan-lompatan tanpa syarat, jika-nol-lalu-lompat-lain-penurunan-dan-lompati, dan hentikan) dapat ditentukan.
wchargin

AFAIK Masalah penghentian untuk Mesin Turing dengan ruang terbatas S, tidak dapat diputuskan oleh Mesin Turing yang terikat pada ruang S.
Taemyr

Jawaban:


30

Variasi yang cukup alami dan dipelajari adalah mesin Tape-Reversal Bounded Turing (jumlah tape-pembalikan dibatasi); lihat misalnya:

Juris Hartmanis: Komputasi Mesin Turing Pita-Pembalikan. J. Comput. Syst. Sci. 2 (2): 117-135 (1968)


Sunting : [variasi ini lebih artifisial] masalah penghentian dapat dipilih untuk mesin Turing Non-penghapus yang memiliki paling banyak dua instruksi kiri pada alfabet ; lihat Maurice Margenstern: Mesin Turing Nonerasing: Sebuah Batas Antara Masalah Pemutusan yang Diputus dan Universalitas. Teor Komputasi. Sci. 129 (2): 419-424 (1994){0,1}


Ikatan pembalikan pita memang sangat alami. Terima kasih!
Joseph O'Rourke

18

Mempertimbangkan bagaimana melewati parameter ke subrutin dan bagian besar manajemen memori dalam bahasa komputer mainstream adalah stack, variasi yang jelas dan alami adalah untuk membatasi memori tanpa batas dari mesin Turing menjadi tumpukan.

Model seperti itu memiliki sifat-sifat yang bagus , selain berhenti menjadi decidable (terkenal dengan PDA ):

Gagasan PDA dapat digeneralisasi ke otomat bantu pushdown ( S ( n ) -AuxPDA)S(n)S(n) . Terdiri dari

  1. input tape read-only, dikelilingi oleh endmarkers,
  2. kontrol negara yang terbatas,
  3. kaset penyimpanan baca-tulis dengan panjang , di mana n adalah panjang dari string input, danS(n)n
  4. setumpuk

Dalam "Hopcroft / Ullman (1979) Pengantar Teori Automata, Bahasa, dan Komputasi (1st ed.) Kami menemukan:

Teorema 14.1 Berikut ini adalah setara untuk .S(n)logn

  1. diterima oleh S ( n ) -AuxPDA deterministikLS(n)
  2. diterima oleh S ( n ) -AuxPDA nondeterministicLS(n)
  3. ada di DTIME ( c S ( n ) ) untuk beberapa konstanta c .LDTIME(cS(n))c

dengan mengejutkan:

wajar dalam P jika dan hanya jika L diterima oleh log n -AuxPDA.LPLlogn


Terima kasih, Thomas, ini juga pembatasan alami.
Joseph O'Rourke

3

frasa dari pertanyaan ini sedikit bermasalah karena mesin Turing dengan pita hingga bisa dibilang tidak banyak terkait dengan mesin Turing dan lebih dekat ke / pada dasarnya mesin keadaan terbatas. sama dengan semua "pembatasan" lainnya pada mesin Turing, hampir semua pembatasan tampaknya merupakan fenomena yang sama sekali berbeda (yaitu selain dari kelengkapan Turing dengan properti yang sama sekali berbeda). sebenarnya beberapa makalah sekarang memanggil / mempelajari batas ini secara rinci dan mungkin memiliki beberapa kesamaan kasar dengan batas komputasi terkenal lainnya yaitu transisi fase lengkap NP.

dan agak berlawanan dengan intuisi bahwa teori FSM yang "lebih sederhana secara komputatif / dapat diputuskan sepenuhnya" muncul lama setelah penemuan mesin Turing, agaknya agak terinspirasi olehnya. jadi mungkin salah satu cara untuk mengulangi hal itu adalah untuk meminta "model decidable paling canggih" dari komputasi atau "studi batas antara model komputasi yang tidak dapat ditentukan dan decidable".

jadi bagaimanapun kemudian sedikit dirumuskan kembali dengan cara ini, jawaban / teori / program penelitian yang masuk akal belum terdaftar adalah sekarang dikembangkan secara signifikan dan secara aktif meneliti / memajukan teori automata waktunya yang baru saja memenangkan hadiah Gereja untuk Alur / Dill. Inilah contoh makalah tentang automata waktunya dan studi model komputasi (un) batas decidability dan ada banyak yang lain dalam nada ini.


secara kebetulan pertanyaannya tampak sangat mirip dengan pertanyaan yang baru-baru ini diajukan pada Ilmu Komputer : Apa bahasa yang paling ekspresif dan terminating?
vzn

1
Terima kasih atas tautan ke automata waktunya , sebuah konsep yang tidak saya sadari.
Joseph O'Rourke

btw, afterthought / addendum: salah satu aspek dari teori yang dikenal yang cenderung / tampaknya mendorong setiap "relaksasi alami yang dapat diputuskan" dari TM yang ada, Rices thm . namun pov / ide alami lain yang agak ditimbulkan dalam jawaban lain adalah bahwa seluruh hierarki waktu / ruang dan kelas kompleksitas semuanya adalah versi TM "yang dapat diputuskan".
vzn

Mesin keadaan terbatas mungkin terlalu jauh dari mesin Turing untuk berbicara tentang pembatasan, tetapi mesin Turing terbatas yang dapat menghitung semua fungsi rekursif primitif akan cukup dekat sehingga orang bisa mengatakan itu adalah model terbatas dari mesin Turing.
Thomas Klimpel
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.