Spørsmålet om hvorvidt alle forskjellige varianter av Turing-maskiner er likeverdige i databehandlingsevne er et grunnleggende spørsmål innen teoretisk datavitenskap, spesielt innenfor studiet av beregningskompleksitetsteori og avgjørbarhet. For å løse dette er det viktig å vurdere naturen til Turing-maskiner og konseptet med beregningsmessig ekvivalens.