Mesin penentuan Turing adalah mesin yang paling dasar, yang menggunakan serangkaian aturan yang tetap untuk menentukan tindakan di masa depan. Mesin turing probabilistik adalah mesin deterministik Turing dengan pasokan ekstra dari bit acak. Kemampuan untuk membuat keputusan yang probabilistik sering membantu algoritma memecahkan masalah dengan lebih efisien. Algoritma yang menggunakan bit acak disebut algoritma acak. Sebuah mesin Turing non-teterministik adalah mesin yang deterministik dengan fitur tambahan dari non-teterisme, yang memungkinkan mesin Turing untuk memiliki beberapa tindakan masa depan yang mungkin dari negara tertentu. Salah satu cara untuk melihat non-ketemuan adalah bahwa mesin Turing cabang ke banyak kemungkinan jalur komputasi di setiap langkah, dan jika itu memecahkan masalah di salah satu cabang ini, dikatakan telah memecahkan masalah. Jelaslah, model ini tidak dimaksudkan untuk menjadi model yang dapat dibayangkan secara fisik, ini hanyalah mesin abstrak yang secara teori menarik yang menghasilkan kelas - kelas yang sangat rumit. Untuk contoh, lihat algoritma non-teteristik.
Apa yang umumnya dianggap sebagai iterasi yang paling dasar dari mesin Turing?
penentuan Turing adalah mesin yang deterministik penentuan Turing