Obtener el AFD a partir del AFN con ε-transiciones siguiente:

a
q2 q3
ε ε
ε ε ε a b b
q0 q1 q6 q7 q8 q9 q10

ε ε Δ a b ε
q4 q5
q0 Φ Φ {q1,q7}
b
q1 Φ Φ {q2,q4}
q2 {q3} Φ Φ
q3 Φ Φ {q6}
q4 Φ {q5} Φ
ε q5 Φ Φ {q6}
q6 Φ Φ {q7,q1}
q7 {q8} Φ Φ
q8 Φ {q9} Φ
q9 Φ {q10} Φ
q10 Φ Φ Φ
Para q0:
ε-c(q0)={q0,q1,q2,q4,q7}
d({q0,q1,q2,q4,q7},a)={q3,q8}
ε-c({q3,q8})={q1,q2,q3,q4,q6,q7,q8}
Δ(q0,a)={q1,q2,q3,q4,q6,q7,q8}
d({q0,q1,q2,q4,q7},b)={q5}
ε-c({q5})={q1,q2,q4,q5,q6,q7}
Δ(q0,b)={q1,q2,q4,q5,q6,q7}
Para q1:
ε-c(q1)={q1,q2,q4}
d({q1,q2,q4},a)={q3}
ε-c({q3})={q1,q2,q3,q4,q6,q7}
Δ(q1,a)={q1,q2,q3,q4,q6,q7}
d({q1,q2,q4},b)={q5}
ε-c({q5})={q1,q2,q4,q5,q6,q7}
Δ(q1,b)={q1,q2,q4,q5,q6,q7}
Para q2: Para q3:
ε-c(q2)={q2} ε-c(q3)={q1,q2,q3,q4,q6,q7}
d({q2},a)={q3} d({q1,q2,q3,q4,q6,q7},a)={q3,q8}
ε-c({q3})={q1,q2,q3,q4,q6,q7} ε-c({q3,q8})={q1,q2,q3,q4,q6,q7,q8}
Δ(q2,a)={q1,q2,q3,q4,q6,q7} Δ(q3,a)={q1,q2,q3,q4,q6,q7,q8}
d({q2},b)=Φ d({q1,q2,q3,q4,q6,q7},b)={q5}
Δ(q2,b)=Φ ε-c({q5})={q1,q2,q4,q5,q6,q7}
Δ(q3,b)={q1,q2,q4,q5,q6,q7}
Para q4: Para q5:
ε-c(q4)={q4} ε-c(q5)={q1,q2,q4,q5,q6,q7}
d({q4},a)=Φ d({q1,q2,q4,q5,q6,q7},a)={q3,q8}
Δ(q4,a)= Φ ε-c({q3,q8})={q1,q2,q3,q4,q6,q7,q8}
d({q4},b)={q5} Δ(q5,a)={q1,q2,q3,q4,q6,q7,q8}
ε-c({q5})={q1,q2,q4,q5,q6,q7} d({q1,q2,q4,q5,q6,q7},b)={q5}
Δ(q4,b)={q1,q2,q4,q5,q6,q7} ε-c({q5})={q1,q2,q4,q5,q6,q7}
Δ(q5,b)={q1,q2,q4,q5,q6,q7}
Para q6: Para q7:
ε-c(q6)={q1,q2,q4,q6,q7} ε-c(q7)={q7}
d({q0,q1,q2,q4,q7},a)={q3,q8} d({q7},a)={q8}
ε-c({q3,q8})={q1,q2,q3,q4,q6,q7,q8} ε-c({q8})={q8}
Δ(q6,a)={q1,q2,q3,q4,q6,q7,q8} Δ(q7,a)={q8}
d({q1,q2,q4,q6,q7},b)={q5} d({q7},b)= Φ
ε-c({q5})={q1,q2,q4,q5,q6,q7} Δ(q7,b)=Φ
Δ(q6,b)={q1,q2,q4,q5,q6,q7}
Para q8: Para q9: Para q10:
ε-c(q8)={q8} ε-c(q9)={q9} ε-c(q10)={q10}
d({q8},a)=Φ d({q9},a)= Φ d({q10},a)= Φ
Δ(q8,a)=Φ Δ(q9,a)=Φ Δ(q10,a)=Φ
d({q8},b)={q9} d({q9},b)= {q10} d({q10},b)= Φ
ε-c({q5})={q9} ε-c({q10})={q10} Δ(q10,b)=Φ
Δ(q8,b)={q9} Δ(q9,b)=q10
AFN puro M={Q,Σ,s,F,Δ} Δ a b

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

Σ={a,b} q1 {q1,q2,q3,q4,q6,q7} {q1,q2,q4,q5,q6,q7}

s=q0 q2 {q1,q2,q3,q4,q6,q7} Φ

F=q10 q3 {q1,q2,q3,q4,q6,q7,q8} {q1,q2,q4,q5,q6,q7}

Y Δ dada por: q4 Φ {q1,q2,q4,q5,q6,q7}

q5 {q1,q2,q3,q4,q6,q7,q8} {q1,q2,q4,q5,q6,q7}
q6 {q1,q2,q3,q4,q6,q7,q8} {q1,q2,q4,q5,q6,q7}
q7 {q8} Φ
q8 Φ {q9}
q9 Φ {q10}
q10 Φ Φ
 Δ(q0,a)={q1,q2,q3,q4,q6,q7,q8}
AFD Δ(q0,b)={q1,q2,q4,q5,q6,q7}

Δ a b
Δ({q1,q2,q3,q4,q6,q7,q8},a)={q1,q2,q3,q4,q6,q7,q8}
q0 {q1,q2,q3,q4,q6,q7,q8} {q1,q2,q4,q5,q6,q7}
q1 {q1,q2,q3,q4,q6,q7} {q1,q2,q4,q5,q6,q7}
Δ({q1,q2,q3,q4,q6,q7,q8},b)={q1,q2,q4,q5,q6,q7,q9}
q2 {q1,q2,q3,q4,q6,q7} Φ
q3 {q1,q2,q3,q4,q6,q7,q8} {q1,q2,q4,q5,q6,q7} Δ({q1,q2,q4,q5,q6,q7},a)={q1,q2,q3,q4,q6,q7,q8}
q4 Φ {q1,q2,q4,q5,q6,q7} Δ({q1,q2,q4,q5,q6,q7},b)={q1,q2,q4,q5,q6,q7}
q5 {q1,q2,q3,q4,q6,q7,q8} {q1,q2,q4,q5,q6,q7}
q6 {q1,q2,q3,q4,q6,q7,q8} {q1,q2,q4,q5,q6,q7}
Δ({q1,q2,q4,q5,q6,q7,q9},a)={q1,q2,q3,q4,q6,q7,q8}
q7 {q8} Φ
q8 Φ {q9} Δ({q1,q2,q4,q5,q6,q7,q9},b)={q1,q2,q4,q5,q6,q7,q10}
q9 Φ {q10}
q10 Φ Φ Δ({q1,q2,q4,q5,q6,q7,q10},a)={q1,q2,q3,q4,q6,q7,q8}
Δ({q1,q2,q4,q5,q6,q7,q10},b)={q1,q2,q4,q5,q6,q7}
M={Q,Σ,s,F,Δ}
Q={q0,q1,q2,q3,q4}
Σ={a,b}
s=q0
F=q4 Δ a b
Y Δ dada por: q0 q1 q3
q1 q1 q2
q2 q1 q4
q3 q1 q3
q4 q1 q3