Tidak jelas apa yang Anda tanyakan di bagian akhir pertanyaan terutama karena "masalah tentang model mesin" tidak didefinisikan.
Saya ingin mendapatkan contoh (jika mungkin) masalah yang tidak dapat diputuskan tanpa membutuhkan Mesin Turing
Biarkan menjadi menjadi kelas mesin dan mari gunakan i sebagai kode M i . Kita bisa menafsirkan saya juga sebagai kode i TM th dan kemudian meminta diberikan M i melakukan i th TM berhenti? Dan masalah ini tentang M i s adalah diputuskan.{Mi}iMiiiMiiMi
Bahasa hanyalah seperangkat string, interpretasi apa yang Anda tetapkan untuk string tidak berpengaruh pada kepantasan bahasa. Kecuali jika Anda secara resmi mendefinisikan apa yang Anda maksudkan dengan model mesin dan masalah tentang mesin-mesin itu, pertanyaan Anda nanti tidak dapat dijawab.
Apakah Turing menyelesaikan mesin minimal untuk mendukung masalah yang tidak dapat diputuskan?
Sekali lagi, poin yang saya sebutkan di atas berlaku. Pertanyaan yang lebih masuk akal adalah: apakah semua bukti keraguan dapat diputuskan melalui sesuatu yang mirip dengan keraguan tentang masalah penghentian untuk TM? (Jawabannya adalah: ada cara lain).
Pertanyaan lain yang mungkin adalah: apa subset terkecil dari TM di mana masalah penghentian bagi mereka tidak dapat diputuskan. Jelas kelas semacam itu harus mengandung masalah yang tidak berhenti (jika tidak, masalahnya bisa dianggap remeh). Kita dapat dengan mudah membuat himpunan bagian buatan TM di mana masalah penghentian tidak dapat diputuskan tanpa mampu menghitung apa pun yang bermanfaat. Pertanyaan yang lebih menarik adalah tentang set besar TM yang dapat di decidable di mana penghentian itu diperuntukkan bagi mereka.
Inilah poin lain: segera setelah Anda memiliki kemampuan yang sangat kecil untuk memanipulasi bit (misalnya ukuran polinomial ) Anda dapat membuat mesin N dengan tiga input: e , x , dan c sedemikian sehingga menghasilkan 1 jika f c adalah menghentikan penerimaan perhitungan TM M e pada input x . Maka Anda dapat menanyakan masalah seperti: apakah ada c st N ( e , x , c ) adalah 1? yang merupakan masalah yang tidak dapat ditentukan.CNFNexccMexcN(e,x,c)