AFND
K={q0,q1,q2,q3,q4,q5,q6,q7,q8}

delta
(q0,_,q1)
(q1,_,q2)
(q1,_,q7)
(q2,_,q1)
(q2,_,q3)
(q3,x,q4)
(q4,_,q5)
(q5,y,q6)
(q6,_,q3)
(q6,_,q1)
(q7,y,q8)
(q8,_,q1)

s=q0
F={q2,q6,q8}

AFD
K={q0,q1,q2,q3,q4}

delta
(q0,x,q1)
(q0,y,q2)
(q1,x,q4)
(q1,y,q3)
(q2,x,q1)
(q2,y,q2)
(q3,x,q1)
(q3,y,q2)
(q4,x,q4)
(q4,y,q4)

s=q0
F={q0,q2,q3}

SI
SI
NO
SI
NO
SI
SI
SI
NO
NO

