AFND
K={q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18}
sigma={p,c,d}
delta:
{q0,epsilon,q1}
{q0,epsilon,q10}
{q1,epsilon,q2}
{q2,p,q3}
{q3,epsilon,q4}
{q4,epsilon,q5}
{q5,c,q6}
{q6,epsilon,q5}
{q1,epsilon,q7}
{q7,epsilon,q8}
{q8,epsilon,q9}
{q9,epsilon,q8}
{q10,epsilon,q11}
{q11,epsilon,q12}
{q10,epsilon,q13}
{q13,d,q14}
{q14,epsilon,q15}
{q15,c,q16}
{q16,epsilon,q17}
{q17,c,q18}
s=q0
F={q4,q6,q7,q9,q12,q18}

AFD
K={q0,q1,q2,q3,q4,q5,q6}
sigma={p,c,d}
delta:
{q0,p,q1}
{q0,c,q2}
{q0,d,q3}
{q1,p,q2}
{q1,c,q4}
{q1,d,q2}
{q2,p,q2}
{q2,c,q2}
{q2,d,q2}
{q3,p,q2}
{q3,c,q5}
{q3,d,q2}
{q4,p,q2}
{q4,c,q4}
{q4,d,q2}
{q5,p,q2}
{q5,c,q6}
{q5,d,q2}
{q6,p,q2}
{q6,c,q2}
{q6,d,q2}
s=q0
F={q0,q1,q4,q6}

SI
SI
NO
NO
NO
SI
NO
NO
NO
NO
SI