Pagkakaiba sa mga pagbabagong ng "Makinang Turing"

Matematikal na namomodelo ng makinang Turing ang isang makina na mekanikal na nagsasagawa ng operasyon sa isang tape. Sa tape na ito ang mga simbolo na maaaring basahin at isulat ng makina na isa isa gamit ang ulo ng tape. Ang operasyon ay buong matutukoy ng may hangganang hanay ng mga elementaryong instruksiyon gaya ng "sa estadong 42, kung ang simbolo ay nababasang 0, isulat ang 1; kung ang simbolo ay nababasang 1, lumipat sa kanan at magbago sa estadong 17; sa estadong 17, kung ang simbolo ay nababasang 9, sumulat ng 1 ang magbago sa estadong 6". Sa orihinal na artikulo("On computable numbers, with an application to the Entscheidungsproblem"), ang pinag-gugunihan ni Turing ay hindi isang mekanismo ngunit isang persona na kanyang tinatawag na "kompyuter" na nagsasagawa ng mga determenistikong mekanikal na patakarang ito sa paraang gaya gaya o sa paglalarawan ni Turing "sa paraang walang paiba iba".
 
[[Talaksan:Turing machine 2b.svg|thumb|right|300px|Dito, ang panloob na estadong (q<sub>1</sub>) ay pinapakita sa loob ng ulo at ang ilustasyonilustrasyon ay naglalarawan sa tape bilang walang hanggan at pinuno sa simula ng "0" na simbolsimbolong nagsisilbing blanko. Ang kabuuang estado ng sistema(ang ''konpigurasyon'' nito) ay binubuo ng panloob na estado, ang mga nilalaman ng nalililimang mga parisukat na kinabibilangan ng blankong binasa ng ulo ("11B"), at ang posisyon ng ulo. (Drawing after Minsky (1967) p. 121).]]
Sa mas tiyak na kahulugan, ang makinang Turing ay binubuo ng:
<ol>
</ol>
Dapat tandaan na ang bawat bahagi ng makina—ang mga koleksiyon ng estado at simbolo nito gayundin ang mga aksiyon nito—ang pagmamarka, pagbubura at mosyon ng tape ay may hangganan, diskreto at makikilala. Ang potensiyal na walang limitasyong halaga ng tape ang nabibigay dito ng walang hangganang halaga ng espasyo ng pag-iimbakan.
 
==Mga halimbawa ng mga makinang Turing==
#Ang kauna-unahang makina ni [[Alan Turing]]