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

არ არის რედაქტირების რეზიუმე
 
ტურინგის მანქნა არის მათემატიკური მოდელი, რომელიც მექანიკურად აკეთებს ოპერაციებს ფირზე. ამ ფირზე არის სიმბოლოები, რომელსაც მანქანა ან წერს ან კითხულობს, ოღონდ სათითაოდ, ფირის თავის გამოყენებით. ოპერაცია განსაზღვრულია ელემენტარული ინსტრუქციების სასრული სიმრავლით. მაგ: „42-მდგომარებაში თუ შეგხვდება 0, შეცვალე 1-ით; თუ სიმბოლო არის 1, გადადი მე-17 მდგომარებოაში და ა.შ. ორიგინალ სტატიაში ("On computable numbers, with an application to the [[Entscheidungsproblem]]") ტურინგი იგონებს არა მექანიზმს, არამედ ადამიანს, რომელსაც კომპიუტერს არქმევს და რომელიც ასრულებს ამ დეტერმინისტულ ქმედებებს მონურად.
 
[[Image:Turing machine 2b.svg|thumb|right|300px|]]
 
უფრო დაწვრილებით, ტურინგის მანქანა შედგება:
4

რედაქტირება