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 DETERMINISTAS
AUTOMATAS FINITOS DETERMINISTAS

DEINICION

Es un autmata finito que adems es un sistema determinista; es decir, para cada
estado q Q en que se encuentre el autmata, y con cualquier smbolo a del alfabeto
ledo, existe siempre a lo ms una transicin posible (q,a).

Un Autmata Finito Determinista consta de:

1. Un conjunto finito de estados, a menudo designado como Q.
2. Un conjunto finito de smbolos de entrada, a menudo designado como (sigma).
3. Una funcin de transicin que toma como argumentos un estado y un smbolo
de entrada y devuelve un estado. La funcin de transicin se designa
habitualmente como o (delta).
4. Un estado inicial, uno de los estados de Q.
5. Un conjunto de estados finales o de aceptacin F. El conjunto F es un
subconjunto de Q.

Una mquina de estados finitos determinista M Autmata Finito Determinista (AFD),
es un quntuplo (K, , s, F), donde:

K es un conjunto de identificadores (smbolos) de estados;
es el alfabeto de entrada;
S K es el estado inicial;
F K es un conjunto de estados finales;
: K K es la funcin de transicin, que a partir de un estado y un smbolo
del alfabeto obtiene un nuevo estado, que puede ser el mismo en el que se
encontraba.

La funcin de transicin indica a que estado se va a pasar sabiendo cul es el estado
actual y el smbolo que se est leyendo.

Es importante notar que es una funcin y no simplemente una relacin; esto implica
que para un estado y un smbolo del alfabeto dados, habr un y slo un estado siguiente.
Esta caracterstica, que permite saber siempre cul ser el siguiente estado, se llama
determinismo.
Representacin Grafica

El estado inicial se representa por:

Los estados finales se representan por:

Los estados se representan por:

La transicin (q, S)=p se representa en la forma:


EJEMPLO:

Sea u=aabab
0 es el estado inicial.
F = {0, 2} estados de aceptacin.



Como 2 es un estado de aceptacin la cadena es aceptada.

Grficamente:



BIBLIOGRAFIA

1. Brena R. Autmatas y Lenguajes. Un Enfoque de diseo. Tec de Monterrey.
Verano 2003.
2. Kelley D. Automata and Formal Languages. An Introduction. Department of
Mathematics and Computer Science Gustavus Adolphus College. Prentice Hall,
Englewood Cliffs, New Jersey 07632
.
.