Klausimas, ar visi skirtingi Tiuringo mašinų variantai yra lygiaverčiai skaičiavimo pajėgumams, yra esminis teorinės kompiuterių mokslo srities klausimas, ypač nagrinėjant skaičiavimo sudėtingumo teoriją ir sprendžiamumą. Norint tai išspręsti, būtina atsižvelgti į Tiuringo mašinų prigimtį ir skaičiavimo lygiavertiškumo sampratą.