EQUIVALENCIA AFD - AFND

SANTIAGO VÁSQUEZ

1 DEFINICIÓN

Cualquier AFD también es un AFND, es decir, si un

lenguaje es aceptado por un AFD, también está
aceptado por un AFND. Simplemente existe como
mucho una sola transición para cada símbolo del
alfabeto y para cada estado.

2 ¿CUÁNDO EXISTE EQUIVALENCIA?

Existe una equivalencia entre los AFND y los AFD,

dado el hecho de que si un lenguaje es reconocido
por el AFND, también será reconocido por un AFD, y
viceversa.

3 EJEMPLO

Sea el AFN de la siguiente imagen , que acepta todas

las cadenas que terminan en 01, determinar el
equivalente para el AFD

Construyendo la tabla atraves del AFN mostrado

De la tabla, obtenida a partir del autómata finito

determinista, se general 3 nuevos estados, los
cuales servirán de base para la construcción del
Nuevo autómata finito no determinista
mostrado a continuación: