Universidad Nacional Autónoma de México.

Facultad de Ingeniería.
“Tarea #3: Características de los AFN.”

Compiladores Grupo: 4

Alumno: Zapata Pérez Román.

16 de marzo de 2016.

Características principales de los AFN.

Un autómata finito no determinístico es un modelo matemático que consiste de:

1. Un conjunto de estados, S
2. Un conjunto de símbolos de entrada, ∑ (alfabeto).
3. Una función de transición denominada move, que mapea pares, p ( s , a ) hacia un conjunto de estados,
s es un estado y a es un símbolo en la entrada.
4. Un estado de inicio denotado por S0
5. Un conjunto de estados de aceptación, denotado por F.

Cualquier AFND construido con el Algoritmo de Thompson, tiene como característica:

 Existe sólo un estado de inicio y sólo un estado de aceptación.

 Del estado de aceptación nunca “sale” o existe una transición.
 A diferencia de los AFD, en un estado puede haber más de una transición posible para un mismo
símbolo de entrada (alfabeto).
 Una diferencia importante de los AFN con respecto a los AFD es la posibilidad de tener más de un
estado inicial.
 El lenguaje aceptado por un AFN es el conjunto de cadenas tales que después de ser analizadas, el
AFN ha logrado alcanzar al menos un estado de aceptación.
 Además, un AFND tiene como característica que lo diferencia de un AFD, permitir el uso de arcos
etiquetados por el símbolo ε.
 Ejemplo: Este autómata verifica una cadena, si llega al estado 4 significa que la cadena ingresada es
un hexadecimal, si el estado termina en 5 significa que es un natural, si termina en 7 es decimal, si
termina en 8 es un octal.

 Bibliografía.

1. Ing. Ríos Acosta, Francisco; Autómatas Finitos; disponible en

http://www.monografias.com/trabajos-pdf/automatas-finitos/automatas-finitos.pdf