Otázka, či sú všetky rôzne varianty Turingových strojov ekvivalentné vo výpočtovej schopnosti, je základnou otázkou v oblasti teoretickej informatiky, najmä v rámci štúdia teórie výpočtovej zložitosti a rozhodovateľnosti. Na vyriešenie tohto problému je nevyhnutné zvážiť povahu Turingových strojov a koncepciu výpočtovej ekvivalencie.