Jun 30, 2024
aa
and bb
.aa
, bb
, aabb
, ...a
and b
)q0, q1, q2, q3, q4, q5, q6, q7, q8
q8
is the final stateq0
: Taking aa
and then bb
leads to q8
bb
and proceed with aa
a
and b
requirementsq0
with a
or b
, etc.a
s and two b
sq0, q1, q2, q3, q4, q5, q6, q7, q8
q8
is the final stateq8
after exactly two a
s and two b
sq9
q9
for excess inputsa
and b
limited to 2a and 2ba
, b
, aa
, bb
, aab
, bba
... up to combinations of twoq0, q1, q2, q3, q4, q5, q6, q7, q8
a
and b