Vous êtes sur la page 1sur 11

FLAVIO

FLAVIO CHACHA
CHACHA MORALES
MORALES

Lenguajes y
autmatas 1

Roger
villasis

Automatas finitos

definicin
Un autmata finito es un modelo matemtico de una
mquina que acepta cadenas de un lenguaje definido
sobre un alfabeto A.
Consiste en un conjunto finito de estados y un conjunto
de transiciones entre esos estados, que dependen de los
smbolos de la cadena de entrada.
Un autmata finito es un vector de tres elementos M =
(I,S,, F) donde I es el conjunto finito de entradas, S es el
conjunto finito de estados (no vaco), es la funcin de
transicin de estados y F es el conjunto finito de estados
finales (incluidos en S).

Representacin autmatas finitos


Al igual que en las mquinas secuenciales, la
representacin de los autmatas finitos puede llevarse a
cabo de dos formas diferentes: mediante un diagrama de
estados; o mediante una tabla de estados.
Diagramas de Estado. En los diagramas de estado
podemos encontrar dos elementos: estados y
transiciones. Los estados son las letras o smbolos
enmarcados (dentro de un crculo generalmente). En
cambio, las transiciones son arcos dirigidos que llevan
asociadas una/s etiquetas.

Un autmata es una representacin grfica que muestra el


proceso de reconocimiento de una cadena de entrada. La
simbologa utilizada es simple
Cada nodo del grafo corresponde a un estado n, donde n
es un nmero o bien una letra, generalmente.
Una flecha de un estado a otro se denomina transicin
entre estados.
El estado inicial se indica mediante una flecha .
Los estados finales se representan con un crculo doble.

clasificacin
Si para todo estado del autmata existe como
mximo una transicin definida para cada smbolo
del
alfabeto,
se dice que
el
autmata
es
determinstico (AFD).
Si a partir de algn estado y para el mismo smbolo de
entrada, se definen dos o ms transiciones se dice que
el autmata es no determinstico (AFND).

clasificacin
Formalmente un (AF) puede ser descrito como una 5-tupla
A = (Q,, , q0, F) donde:
Q es un conjunto nito de estados
es un conjunto nito de smbolos o alfabeto.
: Q Q es una funcin parcial llamada funcin
de transicin
q0 Q estado inicial
F Q conjunto de estados nales

AUTMATAS FINITOS DETERMINISTAS (AFD)


Determinista: para cada entrada, existe un nico
estado al que el autmata puede llegar partiendo del
estado actual.
Consta de: un conjunto finito de estados, Q
un conjunto finito de smbolos de entrada,
una funcin de transicin ( ) que, dados un
estado y una entrada,
devuelve un estado. ( q,
a) = p
un estado inicial (uno de los estados de Q), q 0
un conjunto de estados finales o de aceptacin
(subconjunto de Q), F
A = (Q, , , q 0, F )

AFD
A = ({q0, q1, q2}, {a, b}, , q0, {q0, q1})
(q0, a)= q0
(q0, b)= q1

(q1, a)= q2
(q1, b)= q1

(q2, a)= q2
(q2, b)= q2

DEFINICIN DE LOS AFND


Posee al menos un estado q Q, tal que para un
smbolo a del alfabeto, existe ms de una transicin (
q , a ) posible.
En un AFND puede darse cualquiera de estos dos
casos:
1. Que existan transiciones del tipo ( q, a)=q1 y ( q , a )
=q2, siendo q1 q2;

2.-

Que existan transiciones del tipo (q, ),


siendo q un estado no-final, o bien un estado final
pero con transiciones hacia otros estados.
Cuando se cumple el segundo caso, se dice que el
autmata es un autmata finito no determinista
con
transiciones
vacas o
transiciones
(abreviado AFND-)

AFND
A = ({q0, q1, q2}, {a, b, c}, , q0, {q0, q1, q2})
(q0, a)= {q0, q1, q2}
(q0, b)= {q1, q2}
(q0, c)= {q2}

(q1, a)=
(q1, b)= {q1, q2}
(q1, c)= {q2}

(q2, a)=
(q2, b)=
(q2, c)= {q2}