AFND



K={q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18,q10,q20,q21,q22}

sigma={s,t,v,y,d}



delta:

(q0, epsilon, q1)

(q0, epsilon, q21)

(q1, epsilon, q2)

(q1, epsilon, q13)

(q2, epsilon, q3)

(q2, epsilon, q8)

(q3, epsilon, q4)

(q3, epsilon, q6)

(q4, s, q5)

(q6, t, q7)

(q8, epsilon, q9)

(q8, epsilon, q11)

(q9, y, q10)

(q11, v, q12)

(q13, epsilon, q14)

(q13, epsilon, q16)

(q14, d, q15)

(q16, epsilon, q17)

(q16, epsilon, q19)

(q17, v, q18)

(q19, s, q20)

(q21, epsilon, q22)



s=q0

F={q5,q7,q10,q12,q15,q18,q20,q21}



AFD



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

sigma={s,t,v,y,d}



delta:

(q0, s, q1)

(q0, t, q2)

(q0, y, q3)

(q0, v, q4)

(q0, d, q5)

(q1, s, q6)

(q1, t, q6)

(q1, y, q6)

(q1, v, q6)

(q1, d, q6)

(q2, s, q6)

(q2, t, q6)

(q2, y, q6)

(q2, v, q6)

(q2, d, q6)

(q3, s, q6)

(q3, t, q6)

(q3, y, q6)

(q3, v, q6)

(q3, d, q6)

(q4, s, q6)

(q4, t, q6)

(q4, y, q6)

(q4, v, q6)

(q4, d, q6)

(q5, s, q6)

(q5, t, q6)

(q5, y, q6)

(q5, v, q6)

(q5, d, q6)





s=q0

F={q0,q1,q2,q3,q4,q5}



SI

SI

SI

SI

SI

SI

NO

NO

NO

NO

NO

