Dotaz ohledně toho, zda jsou všechny různé varianty Turingových strojů ekvivalentní ve výpočetní schopnosti, je základní otázkou v oblasti teoretické informatiky, zejména v rámci studia teorie výpočetní složitosti a rozhoditelnosti. K vyřešení tohoto problému je nezbytné vzít v úvahu povahu Turingových strojů a koncept výpočetní ekvivalence.