Un autómata finito no determinista (AFND) puede estar en varios estados al mismo tiempo y realizar transiciones espontáneas entre estados. El lenguaje reconocido por un AFND se define como aquellas cadenas donde al menos uno de los estados finales es alcanzado. Un AFND se puede convertir a un autómata finito determinista equivalente para su ejecución en una computadora convencional.

1. 1
By Aner Santana R. 13-1014
& Anny Jimenez 13-1015

2. Autómata no-determinista: el autómata puede estar en varios estados
al mismo tiempo. Las transiciones de un estado a otro pueden ocurrir
de manera espontánea, es decir, en respuesta a la palabra vacía λ
como entrada.
El lenguaje reconocido por un Autómata finito no determinista (AFND)
puede definirse casi igual que el lenguaje reconocido por un autómata
finito determinista AFD, si utilizamos la definición de función de
transición sobre palabras (f’ para el AFND).
2

3. Sólo hay que tener en cuenta que, en el caso del AFND, al
obtenerse por medio de f’ varios estados, la condición de
aceptación será que alguno de dichos estados sea un estado final
del autómata.
Un autómata no-determinista se puede convertir en un autómata
determinista equivalente el cual puede ser “ejecutado” por una
computadora convencional.
3

4.  Un automata finito no determinista es una quintupla
A=(Q,∑,f,q0,δ
 - Q es un conjunto de estados
 - ∑ es el alfabeto de entrada
 - qo es el estado inicial y este pertenece a los estados
 - f es el conjunto de los estados finales
 - δ es la funcion de transcision.
4

5. 5
30 25 20 15 10 5 0
d d d d d
n n n n n n
d
q q q q q
q
n,d,q
El periódico cuesta 30 centavos
n: niquel (5c)
d: dime (10c)
q: quarter (25c)

6. 
6

7. 7

8.  Este es un autómata no-determinístico ya que hay transiciones no definidas. En general, los autómatas
no-determinísticos son más simples que los determinísticos.
 (Reconocimiento de Patrones).-Supongamos un ejemplo de tranmisión de datos entre barcos. El
receptor de un barco debe de estar siempre esperando la trasmisión de datos que puede llegar en
cualquier momento. Cuando no hay trasmisión de datos hay un ruido de fondo (sucesión aleatoria de 0,
1).
 Para comenzar la trasmisión se manda una cadena de aviso, por ejemplo. 010010. Si esa cadena se
reconoce hay que registrar los datos que siguen. El programa que reconoce esta cadena puede estar
basado en un autómata finito. La idea es que Este no pueda llegar a un estado no final mientras no se
reciba la cadena inicial.

En ese momento el autómata pasa a un estado final. A partir de ahí todo lo que llegue se registra. el
propósito es hacer un autómata que llegue a un estado final tan pronto como se reconozca 010010.
Intentar hacer un autómata finito determinístico directamente puede ser complicado, pero es muy fácil el
hacer un AFND, como el de la Figura 10.

Hay que señalar que esto sería solamente el esquema de una sola parte de la trasmisión. Se podría
complicar incluyendo también una cadena para el fin de la trasmisión.
8

9. 9
Un automata no deterministico que reconoce la cadena 010010
Lo que necesitariamos en un
AFD
Lo hacemos en un AFDN de esta manera

10.  Se caracterizan porque, 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). Es decir /λ(q,a)/ ≥ 1 para
algún "q" perteneciente a Q y para algún
símbolo "a" perteneciente a T.

11.  El lenguaje reconocido por un Autómata finito no
determinista (AFND) puede definirse casi igual que el lenguaje
reconocido por un autómata finito determinista AFD, Sólo hay que
tener en cuenta que, en el caso del AFND, al obtenerse por medio
de f’ varios estados, la condición de aceptación será que alguno de
dichos estados sea un estado final del autómata.
 El conjunto de todas las palabras aceptadas por un autómata finito
no determinista (AFND) es el lenguaje aceptado por ese AFND.

12.  Una cadena x€∑* es aceptada por un AFND M=(Q,∑,f,q0,F) si y
solo si
 f’(q0,x) F≠ф
 En otro caso se dice que la cadena es rechazada por el autómata.
Dado un AFND M=(Q,∑,f,q0,F) se llama lenguaje aceptado o
reconocido por dicho autómata al conjunto de las palabras de ∑*
que acepta,
 L(M)={xє∑* / f’(q0,x)Fф}
12

13.  Convertir al equivalente AFD.
 Mantener un conjunto de datos de todos los
estados en que la máquina podría estar en la
actualidad.
 Crear múltiples copias, por cada n forma de la
decisión, el AFND crea hasta n-1 copias de la
máquina. Cada uno de ellos entrara en un estado
independiente.