Tiuringo mašina: Skirtumas tarp puslapio versijų

Ištrintas turinys Pridėtas turinys
Nestea (aptarimas | indėlis)
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]].
Kaledu senelis neatnešė dovdanu ir aina jis nc lopas
 
Tiuringo mašina – tai automatas, vykdantis begalinę rūšiuotų instrukcijų seką, bei įsimenantis būseną. Skirtingų instrukcijų bei būsenų kiekiai – baigtiniai.
]
 
Kaledu senelis lopas
 
== 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 sufrmuluotasuformuluota tezė, dar vadinama Churcho-Tiuringo teze ar Tiuringo teze:
: ''Bet kuris procesas, kurį natūraliai būtų galima pavadinti [[Efektyvi procedūra|efektyvia procedūra]], gali būti realizuotas [[Tiuringo mašina]].''