(q1,
aabbb, 10) (q1,
abbb, 110) (q1,
bbb, 1110) (q2,
bb, 110) (q2,
b, 10) (q2,
, 0) (q3,
, ).
Since q3
F, the string is accepted.
(q0, a, 0)
= {(q1, 10), (q3, )}
(q0, ,
0) = {(q3, )}
(q1, a, 1)
= {(q1, 11)} (q1, b, 1)
= {(q2, )}
(q2, b, 1)
= {(q2, )}
(q2, ,
0) = {(q3, )}
We can recognize the string aaabbb by the following sequence of moves:
(q0, aaabbb, 0)
(q1,
aabbb, 10)
(q1,
abbb, 110)
(q1,
bbb, 1110)
(q2,
bb, 110)
(q2,
b, 10)
(q2,
, 0)
(q3,
, ).
Since q3
F, the string is accepted.