CONVERSIN

AFND- A AFD
Universidad del Cauca
Teora de la computacin
Algunos conceptos
: Clausuras respecto de epsilon.
(q)
Conjunto de estados a los que se puede
llegar desde q (incluyendo q) nicamente a
travs de transiciones con la etiqueta .
(q,w): Funcin de transicin extendida.

Conjunto de estados a lo largo de un

camino de transiciones cuyas etiquetas
concatenadas forman una palabra w.
(q, ): (q)
Eliminacin de las transiciones

Para
todo AFND- E existe un AFD D que acepta el
mismo lenguaje. El mtodo para la creacin del
autmata D se aplica de forma recursiva, y es el
siguiente:

1. Identificar el estado inicial de D: se trata de la

del estado inicial de E

2. Identificar los smbolos sucesores del estado

inicial. Se trata de todas las transiciones con
etiqueta diferente que se originen en dicho estado.
 3. Hallar del conjunto de estados a los que
se puede llegar desde el estado s, a travs
de transiciones con la etiqueta

4. Repetir el procedimiento con cada

conjunto de estados hallado en el paso 3
hasta que no queden ms conjuntos de
estados sin analizar.
 5. Los estados de aceptacin son todos
aquellos conjuntos de estados que
contengan al menos un estado de
aceptacin de E

6. A partir de la informacin obtenida

podemos dibujar el autmata D
 Ejemplo 1
A partir del siguiente AFND-:

1. Estado inicial de E:
Estado inicial de D: (=
2. Smbolos sucesores de +/-/./0,19
3. Hallar
4.Smbolos
sucesores de

5. Smbolos sucesores de

6. Smbolos sucesores de

7.Buscar los conjuntos de estados con al

menos un estado de aceptacin de E, estos
sern los estados de aceptacin de D
8.Dibujar el diagrama final del autmata
Ejemplo 2
1.Estado
inicial de E:
Estado inicial de D: =
2. Smbolos sucesores de p: a / b / c

3. Simbolos sucesores de
4.
Smbolos sucesores de : a / b / c

5. Buscar los conjuntos de estados con al

menos un estado de aceptacin de E, estos
sern los estados de aceptacin de D

6.Dibujar el diagrama final del autmata