AFN AFN

Un autómata finito puede ser Deterministas

o no Deterministas, en donde el término “no
determinista” significa que en un estado se
puede dar el caso de tener más de una
transición para el mismo símbolo de la
entrada.

El autómata finito no determinista abreviado

AFN, considerado como un modelo matemático
formado por;

Un AFN se puede representar gramáticamente

mediante de un grafo dirigido y etiquetados
llamadas grafos de transición, en donde los
nodos son los estados y las artistas etiquetadas
representan la función de una transición
DONDE;

1
 EJEMPLO2; donde el autómata está definido por una quíntupla, el igual
Puede definirse como los siguiente; que los finitos deterministas, donde su diferencia
fundamental se encuentra, en el cómo se definiera a la
función de una transición;
Donde su función se define como; f
De manera explícita;
En dónde;
Su tabla

Su tabla;

Por lo que su construcción de estos autómatas, se

constituyen en la función de transición. Por lo que sus
diferencias;

La situación identificada como no

deterministas, en donde para un estado
determinado y ante una misma entrada, el
autómata tiene la posibilidad de transitar entre
uno o más estados.

Donde su representación grafica

f ( p , 1 )={t , s };

Donde la segunda situación dada es cuando no

tienen definida la transición del estado.
f (q,0) =
f ( r,1) =
f ( t,0) =
En su tercera situación se da cuando tiene la
posibilidad de transitar de estado; aun así, sin
leer ningún símbolo de entrada

2
Para graficar f ( p , λ )=q ;

DIAGRAMA DE TRANSICIONES;
 Cada nodo es un estado
 Estado final tiene un arco entrante no
identificado
 Los estados finales tienen doble
circulo
 Existe el arco con sentido, etiquetados
con un símbolo entre dos nodos.

Ejemplo 3;