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