Convertir un AFN a AFD

Teora de la Computacin
 Sea un AFN

Convertirlo a un AFD que acepte el mismo lenguaje.

Construir subconjuntos
0 1

-> { q0 } { q0 , q1 } { q0 }

{ q0 , q1 } { q0 , q1 } { q0 , q2}

* { q0 , q2} { q0 , q1 } { q0 }
 Tabla de subconjuntos completa

0 1

-> { q0 } { q0 , q1 } { q0 }

{ q1 } { q2 }

* { q2 }
N = {q0, q1, q2}
{ q0 , q1 } { q0 , q1 } { q0 , q2} N tiene 3 estados

Entonces
* { q0 , q2} { q0 , q1 } { q0 } D tendr 2n estados=8

* { q1 , q2} { q2 }

* {q0 , q1 , q2 } { q0 , q1 } { q0 , q2}
 Eliminacin de estados obsoletos

0 1
A A A
-> B E B
X
C A D
X
X X
* D A A

E E F
X
* F E B

* G A D

* H E F
 Ejercicio: Convertir un AFN en AFD
0 1 0 1 0 1
-> p {p,q} {p} -> {p} {p,q} {p} -> q0 q1 q0
q {r} {r} {p,q} {p,q,r} {p,r} q1 q3 q2
r {s} {p,r} {p,q,s} {p} q2 q4 q0
{p,q,r} {p,q,r,s} {p,r} q3 q5 D
* s {s} {s}
* {p,q,s} {p,q,r,s} {p,r,s} * q4 q5 q6
* {p,q,r,s} {p,q,r,s} {p,r,s} * q5 q5 q6
* {p,r,s} {p,q,s} {p,s} * q6 q4 q7
* {p,s} {p,q,s} {p,s} * q7 q4 q7