Está en la página 1de 24

Conversin de un AFN a

un AFD
Luis Obeymar Estrada
COMPILADORES

AFN
So aS1
aS3
S1 bS2
S3 cS4
S4 A

S
o

a
a

b S

S
3

S
4

Proceso de Conversin
SoaS1

aS3

S1bS2
S3cS4

Eliminacin de la Ambigedad

S
o

a
a

b S

S
3

S
4

Proceso de Conversin

So
S1
S1
S2
S3

aS1
bS2
cS3
A
A

S
o

S
1

Se elimin ambigedad.
Se agreg Estado de aceptacin.

S
2

S
3

AFD
SoaS1

A (aceptacin)

S1bS2
cS3
S2 A
S3 A

S
o

S
1

b
c

S
2

S
3

Conversin de un AFN a
un AFD
Otro ejemplo
Con mayor complejidad

AFN

b
1

b
NO ES DETERMINISTA, PUES DESDE EL ESTADO 1 SALEN DOS
ARCOS ETIQUETADOS CON b

AFN

b
2

a
a

b
3

Y DESDE EL ESTADO 2 SALEN DOS ARCOS ETIQUETADOS CON

a.

AFN

b
2

a
a

b
3
El Estado Inicial seguir siendo el mismo.

AFN

coleccin de subconjuntos

b
2

a
a

b
3

F es la coleccin de subconjuntos de S (estados de S) que


contienen, por lo menos, un estado de F (cada uno de los estados
de S dentro de los cuales hay al menos un estado de
aceptacin de M).

AFN

coleccin de subconjuntos
12

1-23

13

23

En ste caso sern todos los subconjuntos que tengan el estado 3,


ya que este es el nico estado de aceptacin del diagrama
original;
F= {3, 1-3, 2-3, 1-2-3}

AFN

coleccin de subconjuntos
12

1-23

13

23

+vaco: Se agrega el estado vaco. ste era el estado de captacin


global, por lo que se le dibujan tantos arcos que salen e inciden en
cada estado, como smbolos del alfabeto haya, con los cuales se
rotulan. En este estado, van a incidir todas aquellas transiciones que
no existan para algn smbolo en algn estado original.

AFN

coleccin de subconjuntos
12

1-23

b
a

13
23

+ Estado 1.- Con la etiqueta a no hay transicin en el original, por lo


tanto el arco se dibuja hacia el estado vaco; con la etiqueta b salen
dos arcos, uno hacia el estado 2 y otro al estado 3, por lo tanto el
arco se dibuja al estado 2-3

AFN

coleccin de subconjuntos
12

1-23

b
a

13
23

a
a
b b

+ Estado 2.- Con la etiqueta b no hay transicin en el original, por lo


tanto el arco se dibuja hacia el estado vaco; con la etiqueta a salen
dos arcos, uno hacia el estado 1 y otro al estado 3, por lo tanto el
arco se dibuja al estado 1-3.
+ Estado 3.- Con ninguna de las dos etiquetas hay transicin en el
original, por lo tanto se dibujan sendos arcos hacia el estado vaco.

AFN

coleccin de subconjuntos

1-23

b
a

b
23

12

13

a
a
b b

+ Estado 1-2.- Con la etiqueta a hay transicin desde el estado 2


original al 1 y 3 original, por lo tanto el arco se dibuja hacia el estado
1-3; con la etiqueta b salen dos arcos desde el estado 1 original, uno
hacia el estado 2 y otro al estado 3, por lo tanto el arco se dibuja al
estado 2-3.

AFN

coleccin de subconjuntos

1-23

b
a

b
23

12

b
a

a
b b

13

+ Estado 1-3.- Con la etiqueta a no hay transicin desde


ninguno de los dos estados originales, por lo tanto el arco se
dibuja hacia el estado vaco; con la etiqueta b salen dos arcos
desde el estado 1 original, uno hacia el estado 2 y otro al estado 3,
por lo tanto el arco se dibuja al estado 2-3.

AFN

coleccin de subconjuntos

1-23

b
a

b
23

12

b
a
a a b
13

a
b b

a
2

+ Estado 2-3.- Con la etiqueta a hay transicin desde el estado 2


original al 1 y 3 original, por lo tanto el arco se dibuja hacia el estado
1-3; con la etiqueta b no sale ningn arco en ninguno de los dos
estados originales, por lo tanto el arco se dibuja al estado vaco.

AFN

coleccin de subconjuntos

1-23

b
a

b
23

12

b
a
a
a

a
b b

13

+ Estado 1-2-3.- Con la etiqueta a hay transicin desde el estado 2


original al 1 y 3 original, por lo tanto el arco se dibuja hacia el estado
1-3; con la etiqueta b salen dos arcos desde el estado 1 original, uno
hacia el estado 2 y otro al estado 3, por lo tanto el arco se dibuja al
estado 2-3.

AFD

coleccin de subconjuntos

1-23

b
a

b
23

12

b
a
a
a

a
b b

13

Una vez que hemos terminado todos los pasos, podremos eliminar
aquellos estados que sean superfluos al diagrama que acabamos de
obtener.
En nuestro caso particular podemos eliminar los estados , 2, 3, 1-2 y
1-2-3, quedando el definitivo autmata finito determinista.

AFD
1

F
b
a

coleccin de subconjuntos

b
23

a
b
a
a
a

13

a
b b

Una vez que hemos terminado todos los pasos, podremos eliminar
aquellos estados que sean superfluos al diagrama que acabamos de
obtener.
En nuestro caso particular podemos eliminar los estados 2, 3, 1-2 y
1-2-3, quedando el definitivo autmata finito determinista.

AFD
1

F
b

coleccin de subconjuntos

23

b
a

13

Una vez que hemos terminado todos los pasos, podremos eliminar
aquellos estados que sean superfluos al diagrama que acabamos de
obtener.
En nuestro caso particular podemos eliminar los estados 2, 3, 1-2 y
1-2-3 , quedando el definitivo autmata finito determinista.

AFD
1

23

b
a

13

Una vez que hemos terminado todos los pasos, podremos eliminar
aquellos estados que sean superfluos al diagrama que acabamos de
obtener.
En nuestro caso particular podemos eliminar los estados 2, 3, 1-2 y
1-2-3, quedando el definitivo autmata finito determinista.

AFN

AFD
b

a
3

b
2-3

1-3

MUCHAS GRACIAS POR SU


ATENCIN!!!

También podría gustarte