Professional Documents
Culture Documents
16 - Turingov Stroj
16 - Turingov Stroj
16 - Turingov Stroj
Tema broj 16
Turingov stroj
T=S/b
B prazni simbol
pP
: S x Q => S x P x Q
Logika se funkcija stroja moe prikazti tablicom koja se zove shema
Turingova stroja.
q1 q2 q3
^ q4D ^ q3L | q1N
| q2N q4D ^ q3N
q1D q2D q4N
Turingov stroj se moe prikazati kao petorka M= < K, , S, F, delta > gdje
je:
S - ekement
K - poetno stanje
Neka je 0= {a, b}, i neka je zadan jezik L = {an, bn} nad . Napravimo
Turingov stroj koji prepoznaje ovaj znak. On otkida jedan a sprijeda, pa
jedan b straga. Ako ostane viak a-ova ili viak b-ova, onda rije nije
dobra, a ako ostane prazna rije, onda je ulazna rije bila dobra.
a b