PONTIFICIA UNIVERSIDAD CATLICA DEL

ECUADOR SEDE ESMERALDAS

Autmata Finito Determinista (AFD)

Claudia Caicedo, Sahory Maila y Menghy Snchez

Resumen A travs de esta investigacin buscamos conocer ms

y analizar a los autmatas finitos deterministas.

Palabras claves Autmatas, AFD, Estados, Lenguajes

Formales.

I. INTRODUCTION
Un autmata finito determinista, tambin llamado por su acrnimo
AFD, es aquel que solo puede estar en un nico estado a la vez
despus de leer una secuencia de entradas. El trmino determinista A = (Q, , , q0, F)
hace referencia al hecho de que para cada entrada slo existe uno y
slo un estado al que el autmata puede hacer la transicin a partir de Donde:
su estado actual. Q= {q0, q1, q2}
= {a, b, c}
= funcin transicin
q0= q0
F= q0

III. CMO PROCESA CADENAS UN AFD

Los AFD aceptan o rechazan una secuencia de smbolos de

II. DEFINICIN DE AUTMATA FINITO
DETERMINISTA
Formalmente se define a un AFD mediante utilizando la
notacin de quntupla siguiente:
A = (Q, , , q0, F)
Donde:
A es el nombre del autmata.
Q, es un conjunto de estados.
, es un conjunto finito de smbolos de entrada.
: Q x Q, Una funcin de transicin que toma como
argumentos un estado y un smbolo de entrada y
devuelveun estado.
Un estado inicial, uno de los estados de Q.
F es un conjunto de estados finaleso de aceptacinEl
conjunto F es un subconjunto de Q.
entrada. El lenguaje del AFD es el conjunto de todas las
cadenas que acepta. Supongamos que a1a2anes una
secuencia de smbolos de entrada:
1. Se comienza con el AFD en el estado inicial, q0.
Consultamosla funcin de transicin , por ejemplo
(q0,a1) = q1 para hallar el estado al que pasar el AFD A
despusde procesar el primer smbolo de entrada a1.
2. A continuacin, procesamos el siguiente smbolo de
entrada, a2,evaluando (q1,a2); supongamos que este
estado es q2.
3. Continuamos aplicando el mismo procedimiento
parahallar los estados q3,q4, . . . ,qn tal que (qi1,ai) =
qipara todo i. Si qn pertenece a F, entonces la entradaa1a2
an se acepta y, si no lo es se rechaza.

Ejemplo
 IV. NOTACIONES MS SIMPLES PARA LOS AFD
Para evitar la tediosa tarea de especificar un AFD mediante
notacin quntupla, existen dos notaciones ms cmodas para
describir a los autmatas:
Tabla de Transiciones
1. Diagrama de Transiciones.
Es la representacin del autmata mediante un grafo, se define
de la siguiente forma:
a) Para cada estado de Q, existe un nodo.

b) Para cada estado q de Q y cada smbolo de entrada a

de , sea (q0,a) = q1. Entonces, el diagrama
detransiciones tiene un arco desde el nodo q0hasta el V. EXTENSIN A CADENAS DE LA FUNCIN DE
TRANSICIN
nodo q1, etiquetado como a. Si existen varios
smbolosde entrada que dan lugar a transiciones
desde q0hasta q1, entonces el diagrama de
transiciones puede tenerun nico arco etiquetado con VI. EJEMPLOS DE AFD
la lista de estos smbolos. Ejemplo 1

c) Existe una flecha dirigida al estado inicial q0,

etiquetada como Inicio. Esta flecha no tiene origen en
ningnnodo.

d) Los nodos correspondientes a los estados de

Ejemplo 2
aceptacin (los que pertenecen a F) estn marcados
con undoble crculo. Los estados que no pertenecen a
F tienen un crculo simple.

2. Una tabla de transiciones

Es una representacin tabular convencional de una funcin,
como por ejemplo , quetoma dos argumentos y devuelve un
valor. Las filas de la tabla corresponden a los estados y las
columnas a lasentradas. La entrada para la fila correspondiente
al estado q y la columna correspondiente a la entrada a es
elestado (q,a).

Ejemplo:
Ejemplo 3

VII. CONCLUSION

Se puede decir que los autmatas finitos determinas y

sus componentes, son de fcil entendimiento.

Podemos decir tambin que se pueden diferenciar de

sus contrapartes los no deterministas, simplemente
observando cualquiera de sus dos notaciones.

VIII. REFERENCIAS

1
John E. Hopcroft, R. M. (2007). Introduccin a la teora de autmatas,
lenguajes y computacin. Madrid: PEARSON EDUCACIN S.A.

2
http://www.tldp.org/pub/Linux/docs/ldp-archived/system-admin-
guide/translations/es/html/ch06s08.html
3
http://recursostic.educacion.es