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

delta
(q0,_,q1)
(q0,_,q9)
(q1,x,q2)
(q2,_,q3)
(q3,_,q4)
(q3,_,q6)
(q4,x,q5)
(q5,_,q4)
(q5,_,q6)
(q6,_,q7)
(q7,y,q8)
(q8,_,q7)
(q9,_,q10)
s=q0
F={q6,q8,q10}

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

delta
(q0,x,q1)
(q0,y,q4)
(q1,x,q2)
(q1,y,q3)
(q2,x,q2)
(q2,y,q3)
(q3,x,q4)
(q3,y,q3)
(q4,x,q4)
(q4,y,q4)
s=q0
F={q0,q1,q2,q3}

NO
NO
SI
SI
SI
NO
NO
SI
NO
SI

