Definisi utama Turing machine (TM), setidaknya dalam buku referensi saya sendiri (Hopcroft + Ullman 1979) adalah deterministik. Oleh karena itu pemahaman saya sendiri tentang masalah penghentian terutama untuk TM deterministik, meskipun saya sadar bahwa itu dapat dipertimbangkan untuk jenis...
Saya telah membaca di Wikipedia dan beberapa teks lainnya Masalah penghentian adalah [...] dapat ditentukan untuk linear bounded automata (LBA) [dan] mesin deterministik dengan memori yang terbatas. Tetapi sebelumnya ada tertulis bahwa masalah penghentian adalah masalah yang tidak dapat...
Saya mendapat kesan bahwa komputer kita, yang terbatas, pada akhirnya tidak lebih kuat daripada (hingga luar biasa besar) Mesin Negara Hingga. Namun, Mesin Turing Linearly Bounded juga terbatas, tetapi tampaknya Bahasa Reguler benar-benar merupakan bagian yang tidak tepat dari Bahasa...