Siasatan mengenai sama ada semua variasi mesin Turing yang berbeza adalah setara dalam keupayaan pengkomputeran adalah persoalan asas dalam bidang sains komputer teori, khususnya dalam kajian teori kerumitan pengiraan dan kebolehtetapan. Untuk menangani perkara ini, adalah penting untuk mempertimbangkan sifat mesin Turing dan konsep kesetaraan pengiraan.