AUTOMATAS FINITOS NO DETERMINISTICOS

Lenguajes Formales y Teoria de Automatas TI1133 Anaitis Cabrera 13-1009 Mortimer Echavarria 13-1001

AFND
Los Automatas Finitos No Determinista ( AFND ) siguen una ruta para cada transicion.
Permiten identificar mas de un estado de sucesion Los automatas finitos se pueden generalizar agregando no

determinismo, dejando asi varias alternativas para una misma ruta.

AFND
Es un modelo matematico compuesto por la quintupla M=(Q, , f, q0, F) en el :
Q es un conjunto de finito llamado conjunto de estados. es un conjunto finito de simbolos, llamado alfabeto de

entrada.
F es una aplicacin llamada funcin de transicin definida

como: f: Q x ( U { } ) P (Q) donde P(Q) es el conjunto de las partes de Q, es decir, conjunto de todos los subconjuntos que se pueden formar con elementos de Q.

AFND

q0 es un elemento o estado de Q, llamado estado inicial. F es un subconjunto de Q, llamado conjunto de estados finales.

DIAGRAMAS DE TRANSICIN AFND

Los diagramas de transicin de los automatas finitos no

deterministicos son similares a los automatas finitos deterministicos. La diferencia radica en que pueden existir espacios vacios en la tabla de transicin: no tiene que salir desde cada estado una transicin para cada componente del alfabeto como es el caso de los AFD.

TABLA DE TRANSICIN AFND ANTERIOR

q0 q1 q2 0 q1 1 q0 q2

OTROS EJEMPLOS

LENGUAJE ACEPTADO POR UN AFND

Una cadena

es aceptada por un AFND M=(Q,,f,q0,F) si y

solo si
En otro caso se dice que la cadena es rechazada por el autmata.
Dado un AFND M=(Q,,f,q0,F) se llama lenguaje aceptado o

reconocido por dicho autmata al conjunto de las palabras de * que acepta:

APLICACIN DE LOS AFND

El AFND y el AFD son equivalentes en esto, ya que si un lenguaje es reconocido por el AFND, tambin ser reconocido por un AFD, y viceversa. El establecimiento de esta equivalencia es til porque a veces la construccin de un AFND para reconocer un lenguaje determinado es ms fcil que construir un AFD para dicho lenguaje. Tambin es importante porque el AFND se puede utilizar para reducir la complejidad del trabajo matemtico necesario para establecer muchas propiedades importantes en la teora de la computacin. Por ejemplo, es mucho ms fcil demostrar las siguientes propiedades utilizando un AFND que un AFD:
La unin de dos lenguajes regulares es regular. La concatenacin de dos lenguajes regulares es regular. La Clausura de Kleene en un Lenguaje regular es regular.

REFERENCIAS
http://virtual.unibe.edu.do/file.php?file=%2F712%2FMIT6_045JS1

1_lec03.pdf
http://datateca.unad.edu.co/contenidos/301405/EXEMODULO201

31/exe%20modulo%20301405/leccin_8__autmatas_finitos_no_d eterminsticos_afnd.html
http://www.uhu.es/francisco.moreno/talf/docs/tema4_2.pdf