Тьюрингийн машинуудын янз бүрийн хувилбарууд нь тооцоолох чадварт дүйцэж байгаа эсэх талаархи судалгаа нь онолын компьютерийн шинжлэх ухааны салбарт, ялангуяа тооцооллын нарийн төвөгтэй байдлын онол, шийдвэрлэх чадварыг судлах үндсэн асуулт юм. Үүнийг шийдвэрлэхийн тулд Тьюрингийн машинуудын мөн чанар болон тооцооллын эквивалентийн тухай ойлголтыг авч үзэх нь чухал юм.