La investigació sobre si totes les diferents variacions de les màquines de Turing són equivalents en capacitat informàtica és una qüestió fonamental en l'àmbit de la informàtica teòrica, particularment dins de l'estudi de la teoria de la complexitat computacional i la decidibilitat. Per abordar això, és essencial tenir en compte la naturalesa de les màquines de Turing i el concepte d'equivalència computacional.