კვლევა იმის შესახებ, არის თუ არა ტურინგის მანქანების ყველა განსხვავებული ვარიაცია ექვივალენტური გამოთვლის შესაძლებლობებში, არის ფუნდამენტური საკითხი თეორიული კომპიუტერული მეცნიერების სფეროში, განსაკუთრებით გამოთვლითი სირთულის თეორიისა და გადაწყვეტილების შესწავლის ფარგლებში. ამის გადასაჭრელად აუცილებელია გავითვალისწინოთ ტურინგის მანქანების ბუნება და გამოთვლითი ეკვივალენტობის კონცეფცია.