AFND

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

sigma={a,b}



delta

(q0, epsilon, q1)

(q1, epsilon, q1)

(q1, epsilon, q2)

(q2, epsilon, q1)

(q2, epsilon, q2)

(q2, epsilon, q3)

(q3, epsilon, q4)

(q3, epsilon, q8)

(q4, a, q5)

(q5, epsilon, q6)

(q6, b, q7)

(q7, epsilon, q1)

(q7, epsilon, q2)

(q7, epsilon, q3)

(q8, b, q9)

(q9, epsilon, q1)

(q9, epsilon, q2)

(q9, epsilon, q3)



s=q0

F={q0,q1,q2,q7,q9}





AFD

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

sigma={a,b}



delta

(q0, a, q1)

(q0, b, q2)

(q1, a, q4)

(q1, b, q3)

(q2, a, q1)

(q2, b, q2)

(q3, a, q1)

(q3, b, q2)

(q4, a, q4)

(q4, b, q4)





s=q0

F={q0, q2, q3}



NO

SI

NO

SI

SI

NO

SI

NO

