Definice Formálně je Turingův stroj definován jako šestice M=(Q,Σ,Γ,δ,q 0,F)kde: Q je konečná množina stavů Γ je konečná množina páskových symbolů Σ Γ,Σ jekonečnámnožinavstupníchsymbolů δ:(q F) Γ Q Γ { 1,0,+1}jepřechodová funkce q 0 Qjepočátečnístav F Qjemnožinakoncovýchstavů
Předpokládáme,ževΓ Σjevždyspeciálníprvek označující prázdný znak Konfigurace je dána slovem na pásce, stavem a pozicí čtecí hlavy Konfigurace je počáteční, pokud je hlava na prvním symbolu, stavq 0 anapáscejsousymbolyjenzmnožinyσ Konfigurace je koncová, je-li stav z množiny F Máme-listavqabnavstupu,takpro: δ(q,b)=(q,b,0)změnímestavnaq,změnímenaaktuální pozicibnab δ(q,b)=(q,b,+1)změnímestavnaq,změnímena aktuálnípozicibnab aposunemeaktuálnípozicio1doprava δ(q,b)=(q,b, 1)změnímestavnaq,změnímena aktuálnípozicibnab aposunemeaktuálnípozicio1doleva
a a b b c c Ha zacyklí se.
A a b b c c Hb zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí.
A a b b c c Hb zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí.
A a B b c c Hc zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí.
A a B b c c Hc zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí.
A a B b C c L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA.
A a B b C c L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA.
A a B b C c L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA.
A a B b C c L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA.
A a B b C c Ha zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B b C c Hb zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B b C c Hb zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C c Hc zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C c Hc zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C L zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C Ha zacyklíse. Pokudužanení,zkontroluje,zdaužjsoujenvelká písmena. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C K zacyklíse. Pokudužanení,zkontroluje,zdaužjsoujenvelká písmena. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C K zacyklíse. Pokudužanení,zkontroluje,zdaužjsoujenvelká písmena. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C K zacyklíse. Pokudužanení,zkontroluje,zdaužjsoujenvelká písmena. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C K zacyklíse. Pokudužanení,zkontroluje,zdaužjsoujenvelká písmena. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
A A B B C C P ANO zacyklíse. Pokudužanení,zkontroluje,zdaužjsoujenvelká písmena. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí. 4 VracísedolevananejbližšíA. 5 Pokračuje bodem 1
B,C;+ a,b,c; 0 a,b,c,b,c; ;0 P K,B,b,C,c; 0 A;+ L c C; H a H b H a A;+ b B;+ c a,b;+ c,c, ; 0 b,c;+ ;0
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 R
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 0
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 1 1 1
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 0 1 2
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 0 0 0 1 1
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 1 0 0 1 0
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 1 1 1 0 0 1 1
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 0 1 1 0 0 1 2
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 0 1 1 0 0 1 2
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 0 1 0 1 1 0 0 1 1
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 0 1 0 1 1 0 0 1 0
- násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R 0 1 2 ; 0, 1; 0, 0; P 1 0 1 0 1 1 0 0 1 P ANO