Die ondersoek oor of alle verskillende variasies van Turing-masjiene gelykstaande is in rekenaarvermoë is 'n fundamentele vraag in die veld van teoretiese rekenaarwetenskap, veral binne die studie van berekeningskompleksiteitsteorie en besluitbaarheid. Om dit aan te spreek, is dit noodsaaklik om die aard van Turing-masjiene en die konsep van berekeningsekwivalensie in ag te neem.