Následující konečné automaty s parciální přechodovou funkcí převeďte na ekvivalentní konečné
automaty s totální přechodovou funkcí.
1. M1 = ({q0, q1, q2, q3}, {0, 1}, δ1, q0, {q2}), kde δ1 je dána následující přechodovou tabulkou:
δ1 0 1
→ q0 q1 q2
q1 – q2
← q2 q3 –
q3 q3 q3
2. M2 = ({q0, q1, q2}, {x, y}, δ2, q0, {q2}), kde δ2 je dána následující přechodovou tabulkou:
δ2 x y
→ q0 q1 –
q1 – q2
← q2 q2 q2
3. M3 = ({q0, q1, q2, q3, q4}, {r, s, t}, δ3, q0, {q2, q4}), kde δ3 je dána následující přechodovou
tabulkou:
δ3 r s t
→ q0 q1 q3 –
q1 – – q2
← q2 q2 q2 q2
q3 q4 – –
← q4 q4 q4 q4
4. M4 = ({q0, q1, q2}, {a, b}, δ4, q0, {q2}), kde δ4 je dána následující přechodovou tabulkou:
δ4 a b
→ q0 q1 –
q1 q2 q1
← q2 – –
1