REA DE LA ENERGA, LAS INDUSTRIAS Y RECURSOS NATURALES

NO RENOVABLES

CARRERA DE:
Ingeniera en Sistemas
ASIGNATURA:
LENGUAJES FORMALES Y
AUTOMATAS
TEMA:



ALUMNA:
Cueva Riofro Jessica Mercedes

DOCENTE:
Ing. Mario Palma.

Loja Ecuador
Septiembre 2014 Febrero 2015

AUTOMATAS FINITOS NO DETERMINISTAS
AUTOMATAS FINITOS NO DETERMINISTAS

El funcionamiento de un AFND es muy similar al de u AFD. En los AFD solo existe una
posible accin en cada momento, y en los AFND se puede elegir entre varias
alternativas de transicin.

Un autmata finito no determinista (AFND) es una quntupla A= (Q,f,q0,F), donde:

Q es un conjunto de estados
=es el alfabeto de entrada
q0 Q es el estado inicial
F Q es el conjunto e estados finales
f: Qx(U{ }) P (Q) (E. Mayordomo)

En donde P (Q), es el conjunto que se puede armar con todos los subconjuntos de Q

Este tipo de autmatas se diferencia de los AFD, bsicamente en cmo puede
constituirse la funcin de transicin. Estas diferencias son las siguientes:

1) Para cada par estado entrada, el autmata puede tener la
posibilidad de transitar a ms de un estado posible.
2) Para algn par de estado entrada, el autmata puede no
tener definido ninguna transicin. Lo que significa que podr
realizar transicin alguna.
3) Puede realizar transiciones de un estado a otro sin leer
smbolo alguno de la entrada. A este tipo particular de
transiciones se las denomina transiciones- .


Los AFND tambin se representan mediante tablas o diagramas de transicin:
En el diagrama de transicin, hay algn nodo del que parten dos o ms arcos
etiquetados con el mismo smbolo del alfabeto, o falta algn arco para algn smbolo
del alfabeto.

En la tabla de transicin, alguna celda contiene 0 o un conjunto no unitario



Diagramas de Transicin:

Los diagramas de transicin de los AFND son totalmente anlogos a los de los
autmatas determinsticos. Solo que ahora no tiene que salir de cada vrtice un y solo
un arco para cada smbolo del alfabeto de entrada. En un autmata no determinstico,
de un vrtice pueden salir una, ninguna o varias echas con la misma etiqueta.(UNAD)



Ejemplos:

El ejemplo siguiente muestra un AFND M, con un alfabeto binario que determina si la
entrada contiene un nmero par de 0s o un nmero par de 1s. Entonces M = (Q, , T,
s0, F) donde:

= {0, 1},
Q = {s0, s1, s2, s3, s4},
E({s0}) = { s0, s1, s3 }
F = {s1, s3}, y
La funcin de transicin T puede ser definida por esta tabla de transicin de
estados:



0 1
S0 {} {} {S1, S3}
S1 {S2} {S1} {}
S2 {S1} {S2} {}
S3 {S3} {S4} {}
S4 {S4} {S3} {}

El diagrama de estados para M es:




M puede ser visto como la unin de dos AFDs: uno con los estados {S1, S2} y el otro
con los estados {S3, S4}.

El lenguaje de M puede ser descrito por el lenguaje regular dado por la expresin
regular:






REFERENCIAS

E. Mayordomo. (2012). Autmatas finitos no Deterministas. Universidad de Zaragoza.
Recuperado de http://webdiis.unizar.es/asignaturas/TC/wp/wp-
content/uploads/2012/09/121001NFAI1.pdf

UNAD. Leccion 8: Automatas finitos no Deterministas. Automatas y Lenguajes
Formale. Universidad Nacional Abierta y a Distancia. Recuperado de
http://datateca.unad.edu.co/contenidos/301405/EXEMODULO20131/exe%20modulo%
20301405/leccin_8__autmatas_finitos_no_determinsticos_afnd.html

Wikipedia. Automata finito no determinista (AFND). Recuperado de
http://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_no_determinista