Transformar un AFND a AFD

Introduccin: Es el procedimiento para transformar un autmata no

determinista a a un autmata finito determinista para su mejor comprensin y
desarrollo en software, esto por medio de un procedimiento que involucra
cuatro sencillos pasos.
Objetivo:
Se mostrarn los pasos a seguir para transformar un AFND en AFND.
Mostrar los componentes.
Demostracin paso a paso.
Fundamento:
Si se permite que desde un estado se realicen cero, una o ms transiciones
mediante
el mismo smbolo de entrada, se dice que el autmata finito es no
determinista.
A veces es ms conveniente disear autmatas finitos no deterministas.
Teorema: Para toda gramtica regular G3, existe un autmata finito, tal que el
lenguaje reconocido por el autmata finito es igual al lenguaje generado por la
gramtica L ( AF ) =L(G 3)
Teorema: Para todo autmata finito, existe una gramtica regular, tal que el
lenguaje generado por la gramtica es igual al lenguaje reconocido por el
autmata finito. L ( G3 ) =L( AF)

La forma habitual de re
(AFN) en lugar de deterministas.
Pasoso
Paso 1 Dado un Autmata determinista, identificar sus elementos.
Paso 2 Agregar un estado de error al final, que contenga los smbolos
del alfabeto
Paso 3 Crear una tabla de transiciones que dar como resultado el
AFD
Paso 4 Se dibuja el autmata

Paso 1

Q={a , b , c , d }

{1,0 }
=Qx
S={a }
F={d }

Paso 2 En este ejemplo son 1 y 0, por lo tanto habr una transicin 1,0
para el estado final {d} hacia el estado de erro y otra transicin del
estado de error hacia s mismo.

Paso 3 Partiremos del estado inicial

S={a } , de este veremos que el

siguiente estado lleva nos lleva a = y posteriormente a 1, siguiendo

nos lleva a 0 y estamos en el estado
estado

{a , b }

Estado

{a }

{a } , pero con 1 estamos en el

{a }

{a , b }

Paso 3 Se crea un nuevo estado, posicionado debajo de

{a }

Repetir el paso anterior, en la siguiente transicin surgen nuevos estados

{b , c } al igual que el el estado anterior se colocaran debajo del anterior

Estado

{a }

{a }

{a , b }

{a , b }

{a , d , c }

{a , b , c }

Repetir el paso anterior hasta llegar a esta tabla

Estado

{a }

{a }

{a , b }

{a , b }

{a , d , c }

{a , b , c }

{a , c , d }

{a , d , error }

{a , b , d , error }

{a , b , c }

{a , c , d }

{a , b , c , d }

Repetir el paso anterior, en la siguiente transicin surgen nuevos estados

{b , c } al igual que el el estado anterior se colocaran debajo del anterior

Estado

{a }

{a }

{a , b }

{a , b }

{a , d , c }

{a , b , c }

{a , c , d }

{a , d , error }

{a , b , d , error }

{a , b , c }

{a , c , d }

{a , b , c , d }

{a , d , error }

{a , error }

{a , d , error }

{a , b , d , error }

{a , c , d ,error }

{a , b , c , error }

{a , b , c , d }

{a , c , d ,error }

{a , b , c , d ,error }

{a , error }

{ a , error }

{a , b , error }

{a , b , error }

{a , c , d ,error }

{a , b , d , error }

{a , b , error }

{a , c , d ,error }

{a , b , c , d ,error }

Paso 4 Dibujar el autmata

Se dibujara el primer estado de la primera columna, despus los estados de

transicin con 0 u con 1{{a} y {a,b}}, despus se dibujara el estado siguiente
de la primera
columna as como sus
estados de
transicin{a,b}

Ejercicio 3