Pitanje da li su sve različite varijacije Turingovih mašina ekvivalentne u računarskim sposobnostima je fundamentalno pitanje u polju teorijske računarske nauke, posebno u okviru proučavanja teorije složenosti i odlučivosti računara. Da bismo ovo riješili, bitno je razmotriti prirodu Turingovih mašina i koncept računske ekvivalencije.