Tiuringo mašina: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
Atšauktas naudotojo 89.190.122.248 (Aptarimas) darytas keitimas 4684003 |
|||
Eilutė 1:
[[Vaizdas:TuringBeispielAnimatedGIF.gif|thumb|200px|Animacija, iliustruojanti Tiuringo mašinos darbą]]
'''Turingo mašina''' – abstraktus kompiuterio vykdymo modelis, kurį [[1936]] metais sukūrė [[Alanas Tiuringas]], norėdamas matematiškai apibrėžti [[algoritmas|algoritmus]].
Tiuringo mašina – tai automatas, vykdantis begalinę rūšiuotų instrukcijų seką, bei įsimenantis būseną. Skirtingų instrukcijų bei būsenų kiekiai – baigtiniai.
== Aprašymas ==
Tiuringo mašiną sudaro:
* ''Juosta'', padalinta į langelius, kuriuose gali būti vienas iš naudojamos [[Abėcėlė|abėcėlės]] simbolių. Abėcėlę sudaro ''tuščias'' simbolis ('0') ir vienas ar daugiau kitų simbolių. Į neužpildytus langelius žiūrima kaip užpildytus tuščiu simboliu.
eilutė 44 ⟶ 43:
== Tiuringo tezė ==
Tiuringo bei Churcho nepriklausomai
: ''Bet kuris procesas, kurį natūraliai būtų galima pavadinti [[Efektyvi procedūra|efektyvia procedūra]], gali būti realizuotas [[Tiuringo mašina]].''
|