Maŝino de Turing: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
de testo de Turing
eNeniu resumo de redakto
Linio 1:
[[Dosiero:Turing Machine.png|eta|240px|Arta prezento de la ''Maŝino de Turing'']]
[[Dosiero:Model_of_a_Turing_machine.jpg|alternative=Model of a Turing machine|eta|Modela efektivigo de maŝino de Turing, unu el multaj.]]
'''Maŝinoj de Turing''' estas ekstreme simplaj [[simbolo|simbol]]-manipulantaj [[aparato]]j, kiuj — malgraŭ sia simpleco — povas esti adaptitaj por simuli la logikon de ajna [[komputilo]], kiu eble povus esti foje konstruata (kvankam eble tre malefike). Ili estis priskribitaj en [[1936]] fare de [[Alan Turing]]. Maŝino de Turing, kiu kapablas simuli ajnan alian maŝinon de Turing, estas nomata '''universala maŝino de Turing''' (aŭ simple '''universala maŝino''').