AUTOMATAS Y LENGUAJES FORMALES

301405A_471

Autómata finito Determinista

Julio Andres Silva Aragon

301405_23
Definición

• Un AFD es una quíntupla

A =(Q,, , q0,F)

– Q es un conjunto finito de estados

–  es un alfabeto finito (símbolos de entrada)
–  es una función de transición (q,a) p
– q0 Q es el símbolo de inicio
– F Q es el conjunto de estados finales
Características

• Transición
s1 a s2
(s1,a)  s2

• Se lee

– En el estado s1 teniendo entrada ¨a¨ moverse al estado s2

Propiedades

• Un estado

• Estado de inicio

• Estado de aceptación

• Una transición a
Ejemplo 1
 Si se tiene el alfabeto ∑={0,1} dibuje un autómata finito que acepte la
cadena ¨1¨

1
q r

A={{q,r}, {0,1},(q,1)=r,q,{r}}

Un autómata finito acepta una cadena w si podemos seguir

las etiquetas de los arcos con los caracteres de la cadena w
desde el estado de inicio hasta un estado de aceptación
Ejemplo 2

• Un autómata finito que acepta cualquier cantidad de 1´s

seguido de un 0.

• Alfabeto: 0,1 0 1

1 q r q
0
q r r

Verificar que ¨1110¨es aceptada pero no ¨111¨

Implementación

• Un AFD se puede implementar mediante una tabla

de 2 dimensiones T
– Una dimensión para los estados
– Otra dimensión para los símbolos de entrada
– Para cada transición (s1,a)  s2 definir T[i,a] = k
• Ejecución del AFD
– Para cada estado si y entrada a, leer T[i,a]=k y saltar al
estado k.
– Muy eficiente.
Implementación de la Tabla

0 1
s t u
t t u
u t u
Bibliografía

M. Alfonseca, J. Sancho, M. Martínez Orga. Teoría de Lenguajes, Gramáticas y

Autómatas, Ediciones Universidad y Cultura, 1990.
P. Isasi, P. Martínez, D. Borrajo. Lenguajes, gramáticas y autómatas. Un enfoque
práctico, Addison-Wesley, 1997.
J.E. Hopcroft, R. Motwani, J.D. Ullman. Introducción a la Teoría de Autómatas,
Lenguajes y Computación, 2ª edición, Addison-Wesley Iberoamericana, 2002.
P. Linz. An Introduction to Formal Languages and Automata, Jones and Barlett
Publishers, 1997.
D. Kelly. Teoría de autómatas y lenguajes formales, Prentice-Hall, 1995.
F. Sande González. Prácticas de teoría de autómatas y lenguajes formales,
Gobierno de Canarias, 2001.
Unidad/Zona/grupo o equipo funcional

GRACIAS POR SU
ATENCIÓN