(a.a.a.b*|b.b.b.b.b.b.b.b)
K={q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18,q19,q20,q21,q22,q23,q24,q25}
Sigma = {ba}
Delta:
(q0,b,q1)
(q1,epsilon,q3)
(q2,epsilon,q5)
(q3,b,q2)
(q4,epsilon,q7)
(q5,b,q4)
(q6,epsilon,q9)
(q7,b,q6)
(q8,epsilon,q11)
(q9,b,q8)
(q10,epsilon,q13)
(q11,b,q10)
(q12,epsilon,q15)
(q13,b,q12)
(q15,b,q14)
(q16,a,q16)
(q16,b,q16)
(q16,epsilon,q0)
(q16,epsilon,q18)
(q17,epsilon,q20)
(q18,a,q17)
(q19,epsilon,q22)
(q20,a,q19)
(q21,epsilon,q23)
(q22,a,q21)
(q23,epsilon,q25)
(q24,epsilon,q23)
(q25,b,q24)
Finales={q14,q23,q24}
Inicial=q16

K={q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18,q19}
Sigma = {ba}
Delta:
(q0,a,q2)
(q0,b,q1)
(q1,a,q2)
(q1,b,q3)
(q2,a,q4)
(q2,b,q1)
(q3,a,q2)
(q3,b,q5)
(q4,a,q6)
(q4,b,q1)
(q5,a,q2)
(q5,b,q7)
(q6,a,q6)
(q6,b,q8)
(q7,a,q2)
(q7,b,q9)
(q8,a,q2)
(q8,b,q10)
(q9,a,q2)
(q9,b,q11)
(q10,a,q2)
(q10,b,q12)
(q11,a,q2)
(q11,b,q13)
(q12,a,q2)
(q12,b,q14)
(q13,a,q2)
(q13,b,q15)
(q14,a,q2)
(q14,b,q16)
(q15,a,q2)
(q15,b,q15)
(q16,a,q2)
(q16,b,q17)
(q17,a,q2)
(q17,b,q18)
(q18,a,q2)
(q18,b,q19)
(q19,a,q2)
(q19,b,q19)
Finales={q19,q18,q17,q16,q15,q14,q12,q10,q8,q6}
Inicial=q0

Ocurrencias:
28
29
30
31
32
33
34
35
36
37
38
39
