Ülesanne 7.

Determineeritud ja mittedetermineeritud automaadi üleminekufunktsioonide tabelid
Determineeritud automaat Mittedetermineeritud automaat
Uued
olekud
Vana automaadi
olekute kombinatsioonid
Sisend Olekud Sisend
1 2 3 1 2 3
a1 - - - - q0 q0,q1 q0,q2 q0,q3
q0 b1 q0 c1 c2 c3 q1 q1,qf q1 q1
b2 q1 c7 b2 b2 q2 q2 q2,qf q2
b3 q2 b3 c9 b3 q3 q3 q3 q3,qf
b4 q3 b4 b4 c10 qf - - -
b5 qf - - -
q1 c1 q0,q1 d3 d1 d2
q2 c2 q0,q2 d1 d5 d4
q3 c3 q0,q3 d2 d4 d6
c4 q0,qf c1 c2 c3
c5 q1,q2 d8 d8 c5
c6 q1,q3 d9 c5 d9
c7 q1,qf c7 b2 b2
c8 q2,q3 c8 d10 d10
c9 q2,qf b3 c9 b2
c10 q3,qf b4 b4 c10
q4 d1 q0,q1,q2 e2 e2 e1
q5 d2 q0,q1,q3 e3 e1 e3
q6 d3 q0,q1,qf d3 d1 d2
q7 d4 q0,q2,q3 e1 e4 e3
q8 d5 q0,q2,qf d1 d5 d4
q9 d6 q0,q3,qf d2 d4 d6
d7 q1,q2,q3 e5 e5 e5
d8 q1,q2,qf d8 d8 c5
d9 q1,q3,qf d9 c6 d9
d10 q2,q3,qf c8 d10 d10
q10 e1 q0,q1,q2,q3 f1 f1 f1
q11 e2 q0,q1,q2,qf e2 e2 e1
q12 e3 q0,q1,q3,qf e3 e1 e3
q13 e4 q0,q2,q3,qf e1 e4 e3
e5 q1,q2,q3,qf e5 e5 e5
qf f1 q0,q1,q2,q3,qf f1 f1 f1
Joonisel oleva determineeritud automaadi üleminekufunktsiooni tabel (saavutamatud olekud on välja jäetud)
Determineeritud automaat
Uued
olekud
Vanade olekute
kombinatsioonid
Sisend
1 2 3
q0 b1 q0 c1 c2 c3
q1 c1 q0,q1 d3 d1 d2
q2 c2 q0,q2 d1 d5 d4
q3 c3 q0,q3 d2 d4 d6
q4 d1 q0,q1,q2 e2 e2 e1
q5 d2 q0,q1,q3 e3 e1 e3
q6 d3 q0,q1,qf d3 d1 d2
q7 d4 q0,q2,q3 e1 e4 e3
q8 d5 q0,q2,qf d1 d5 d4
q9 d6 q0,q3,qf d2 d4 d6
q10 e1 q0,q1,q2,q3 f1 f1 f1
q11 e2 q0,q1,q2,qf e2 e2 e1
q12 e3 q0,q1,q3,qf e3 e1 e3
q13 e4 q0,q2,q3,qf e1 e4 e3
qf f1 q0,q1,q2,q3,qf f1 f1 f1