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.
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