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

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