Turingův stroj. Definice Formálně je Turingův stroj definován jako šestice

Transkript

1 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ů

2 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

3 a a b b c c Ha zacyklí se.

4 A a b b c c Hb zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí.

5 A a b b c c Hb zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí.

6 A a B b c c Hc zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí.

7 A a B b c c Hc zacyklí se. 2 Čtedoprvníhob,nahradíjejB.Na nebocsezacyklí. 3 Čtedoprvníhoc,nahradíjejC.Na sezacyklí.

8 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.

9 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.

10 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.

11 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.

12 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

13 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

14 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

15 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

16 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

17 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

18 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

19 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

20 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

21 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

22 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

23 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

24 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

25 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

26 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

27 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

28 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

29 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

30 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

31 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

32 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

33 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

34 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

35 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P R

36 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

37 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

38 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

39 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

40 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

41 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

42 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

43 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

44 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

45 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P

46 - násobení třemi 0,1;+ 0; 1; 1; 1 0; ; 1 R ; 0, 1; 0, 0; P P ANO