ტურინგის მანქანა: განსხვავება გადახედვებს შორის

არ არის რედაქტირების რეზიუმე
ტურინგმა, 1948 წელს, მის მანქანას მოკლე განმარტება მისცა: „გონივრული მანქანა“ ( "Intelligent Machinery").
 
ტურინგის მანქანას, რომელსაც შეუძლია ნებისმიერი სხვა ტურინგის მანქანის სიმულაცია, [[უნივერსალური ტურინგის მანქანა]] ('''UTM''', or simply a '''universal machine''') ეწოდება. უფრო მათემატიკურად-ორიენტირებული განსაზღვრება მას მისცა [[ალონსო ჩარჩმა]], რომლის სამუშაო [[ლამბდა-კალკულუსის]] შესახებ დაერთო ტურინგის ოფიციალურ თეორემას და მას [[ჩარჩ-ტურინგის თეზისი]] ეწოდა. თეზისი ხაზს უსვამს, რომ ტურინგის მანქანა ნამდვილად ემსახურება ცნებას, ეფექტურიეფექტიანი მეთოდებისა, [[ლოგიკასა]] და [[მათემატიკაში]] და ეხმარება [[ალგორითმის]] ზუსტ განმარტებას.
==არაფორმალური განსაზღვრება==