(s.t.s.s*|t.s.t.t*)
K={q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18}
Sigma = {ts}
Delta:
(q0,t,q1)
(q1,epsilon,q3)
(q2,epsilon,q5)
(q3,s,q2)
(q4,epsilon,q6)
(q5,t,q4)
(q6,epsilon,q8)
(q7,epsilon,q6)
(q8,t,q7)
(q9,s,q9)
(q9,t,q9)
(q9,epsilon,q0)
(q9,epsilon,q11)
(q10,epsilon,q13)
(q11,s,q10)
(q12,epsilon,q15)
(q13,t,q12)
(q14,epsilon,q16)
(q15,s,q14)
(q16,epsilon,q18)
(q17,epsilon,q16)
(q18,s,q17)
Finales={q6,q7,q16,q17}
Inicial=q9

K={q0,q1,q2,q3,q4,q5,q6,q7,q8}
Sigma = {ts}
Delta:
(q0,s,q2)
(q0,t,q1)
(q1,s,q3)
(q1,t,q1)
(q2,s,q2)
(q2,t,q4)
(q3,s,q2)
(q3,t,q5)
(q4,s,q6)
(q4,t,q1)
(q5,s,q6)
(q5,t,q7)
(q6,s,q8)
(q6,t,q5)
(q7,s,q3)
(q7,t,q7)
(q8,s,q8)
(q8,t,q4)
Finales={q8,q7,q6,q5}
Inicial=q0

Ocurrencias:
3
4
5
6
7
8
9
10
11
12
