Banyak jenis mesin Turing digunakan untuk mendefinisikan kelas-kelas kompleksitas, seperti mesin Turing deterministik, mesin turing probabilistik, mesin Turing non-teteristik, mesin Turing kuantum, mesin turing simetrik dan mesin turing bergantian. Mereka semua sama kuat pada prinsip, tetapi ketika sumber daya (seperti waktu atau ruang) dibatasi, beberapa dari mereka mungkin lebih kuat daripada yang lain.
Apa yang mungkin tidak lebih kuat daripada yang lain sewaktu sumber daya waktu atau ruang yang dipertimbangkan?
turing bergantian