Turingův stroj
c qiqi
Konečná množina vnitřních stavů Q Pásková abeceda P Počáteční stav q 0 Množina koncových stavů K Přechodová funkce d: QxP QxPx{l,p,n}
Turingův stroj pro rozpoznání jazyka pcp Množina vnitřních stavů je Q = {q 0,k 0,k 1,p 0,p 1,m,ano,ne}. Počáteční stav je q 0. Množina koncových stavů je K = {ano,ne} Pásková abeceda je P = {0,1,c,x,y,ε} Přechodová funkce:
Přechodová funkce 01cxyε Q0Q0 p 0,x,pp 1,x,pano,c,nne,x,nne,y,nne,c,n P0P0 p 0,0,pp 0,1,pk 0,c,pne,x,nne,y,nne,ε,n P1P1 p 1,0,pp 1,1,pk 1, c,pne,x,nne,y,nne,ε,n k0k0 m,y,lne,1,nne,c,nne,x,nk 0,y,pne,ε,n k1k1 ne,0,nm,y,lne,c,nne,x,nk 1,y,pne,ε,n Mm,0,l m,c,lq 0,x,pm,y,lm,ε,l