028 Autmatas y Lenguajes Formales

UNIDAD 3 AUTMATAS FINITOS

CONTENIDO
Definicin
Lenguaje reconocido por un autmata finito
Representacin de un autmata finito
Clasificacin de los autmatas finitos
Autmata finito no determinstico
Autmata finito determinstico
DEFINICIN

Los autmatas finitos reconocen los lenguajes

regulares, o de tipo 3 y se pueden representar
intuitivamente por una cinta y una cabeza de
lectura.
DEFINICIN
La cinta de entrada solo contiene smbolos de
un determinado alfabeto , y se mueve en una
sola direccin.
El control de estados determina el
funcionamiento del autmata.
Una sentencia de un lenguaje determinado,
colocado en la cinta y leda por el autmata
finito, es reconocida por ste, si el control de
estados llega a su estado final.
DEFINICIN

Se puede definir como una quntupla AF = {E,

Q, f, q1, F}
E = {Conjunto finito de smbolos de entrada,
que constituyen el vocabulario}
Q = {Conjunto finito de estados}

f : E* x Q Q es la funcin de transicin

q1 Q, es el estado inicial.

F Q es el conjunto de estados finales.

DEFINICIN
Se entiende por configuracin de un autmata finito, a un
par de la forma (q, W)
donde q, es el estado actual, y W la cadena que queda por
leer en ese instante. Segn la definicin anterior, se puede
afirmar que la configuracin inicial de un autmata finito es
el par (q1, t) siendo t la sentencia o cadena de entrada a
reconocer. La configuracin final se representa por el par
(qi, ) donde qi F, e indica que no queda nada por entrar de
la cinta.
Un movimiento de un autmata finito, puede definirse como
el trnsito entre dos configuraciones, y se representa por
(q,aW) (q,W) y se debe de cumplir que f(q,a)=q.
LENGUAJE RECONOCIDO POR UN AUTMATA
FINITO
Cuando un autmata transita a una
configuracin final partiendo de la
configuracin inicial, en varios movimientos, se
dice que se ha producido aceptacin o
reconocimiento de la cadena de entrada. Es
decir que dicha cadena, pertenece al lenguaje
reconocido por el autmata.
LENGUAJE RECONOCIDO POR UN AUTMATA
FINITO
Por el contrario, cuando el autmata finito no
es capaz de llegar a un estado final, se dice
que el autmata no reconoce dicha cadena y
que por tanto no pertenece al lenguaje.

El lenguaje reconocido por un autmata finito,

es:
REPRESENTACIN DE AF
La forma habitual de representar los
autmatas finitos es mediante un
grafo o diagrama de estados, donde
los nodos son los estados y las
ramas estn marcadas con los
smbolos del alfabeto de entrada.
Las ramas se construyen segn la
funcin de transicin, as debe de
cumplir f(q1,q) q2.

Los nodos que representan los

estados finales, suelen marcarse
con un doble crculo, y el estado
inicial tambin se marca con una
flecha, encima de la cual se coloca
la palabra INICIO.
EJEMPLO

Sea el autmata finito A1 = (E, Q, f, q1, F)

donde E = {a, b} U {l} ; Q = { q1, q2, q3, a4 } y
la funcin f viene dada por la tabla siguiente y
el conjunto de estados finales es F={q3}
SOLUCIN
SOLUCIN
El lenguaje generado se obtiene partiendo del
estado inicial y recorriendo todos los caminos
posibles para alcanzar el estado final. As se
obtiene que este autmata reconoce el lenguaje :

La expresin regular que denota el lenguaje es

a+b+ o tambin aa*bb*.
EJERCICIO EN CLASE
Sea el autmata finito A=(E,Q,f,q1,F) donde E = {0,1} , y
f se define por la tabla siguiente, y F={q2}.

Construir el diagrama de Moore, y determinar el

lenguaje que reconoce, denotndolo con su expresin
regular.
CLASIFICACIN DE LOS AUTMATAS FINITOS

Cuando se defini autmata finito, la funcin

f:E* x Q Q, es en general no determinista.
As en funcin de f, se hablar de autmatas
finitos deterministas AFD y autmatas finitos
no deterministas AFND.
AUTMATA FINITO NO DETERMINSTICO

Un autmata finito no determinista AFND se

caracteriza por la posibilidad de que dada una
entrada e en un estado qi, se pueda pasar a un
estado qj, qk,...,qn sin saber a ciencia cierta, a
cual de esos estados pasar. Existiendo la
misma probabilidad de que pase a cualquiera
de dichos estados.
EJEMPLO DE AFND
Sea el autmata finito no determinista AFND = (E,Q,f,q1,F) donde
E={a,b}, Q = {q1, q2, q3, q4} , F = {q4} y la funcin f viene dada por la
siguiente tabla :

Determinar el lenguaje que reconoce, y dar su expresin regular.

SOLUCIN
El diagrama de Moore se construye al igual que en
los ejemplos anteriores de autmatas finitos, con
la salvedad de que para una entrada a un estado
puede salir ms de una flecha de un determinado
estado.

El lenguaje reconocido es el siguiente :

a(b*b | a*b)a*
o tambin
a(b* | a*)ba*
SOLUCIN DIAGRAMA DE MOORE
AUTMATA FINITO DETERMINISTA
Un autmata finito determinista AFD es un
caso particular de los autmatas finitos, en el
que la funcin de transicin no presenta
ninguna ambigedad en las transiciones de
estados para una entrada dada.

Un autmata finito determinista es una

quntupla AFD=(E, Q, f, q1, F) donde la funcin
es determinista.
EJEMPLO

Sea el autmata finito no determinista del

ejemplo de la diapositiva 16, determinar un
autmata finito determinista equivalente.
SOLUCIN

Siguiendo la construccin del teorema el AFD

tendr en un principio 24 estados, es decir Q
conjunto de las partes de Q tiene en un principio
16 estados. Tambin se define el estado inicial y
el conjunto de estados finales F
Q={l,[q1],[q2],[q3],[q4],[q1q2],...,[q1q2q3q4]}

q1=[q1]

F={[q4],[q1q4],[q2q4],[q3q4],[q1q2q4],...,[q1q2q
3q4]}
SOLUCIN
y f se construye a partir
de f resultando la
siguiente tabla.

Ahora bien, en un AF los

estados que no son
accesibles desde el inicial
pueden eliminarse, as se
eliminan los marcados en
la tabla con flechas, por
no aparecer en la tabla.
SOLUCIN
[q2q3q4] por no aparecer en la tabla como transicin de un estado eliminado
anteriormente.
[q3q4 ] por aparecer en la tabla como transicin de un estado eliminado
anteriormente, y tambin en su propio estado, no es accesible por no aparecer en
otro estado.
Evidentemente [ q1] nunca puede eliminarse como estado, por ser el estado inicial.
Entonces f puede resumirse segn la tabla :

El estado vaco [l] no puede eliminarse en este caso, pues es accesible desde [q1] y
[q4].
SOLUCIN

De los 16 estados posibles

slo han quedado 6, con
los que se construye el
diagrama de Moore.
As el lenguaje reconocido
por el AFD es :
abb* | abb*aa* | aaa*ba*
= abb*( | aa*) | aaa*ba*
= abb*a* | aaa*ba*
= ab*ba* | aaa*ba*
= a(b* | aa*)ba*
= a(b* | a*)ba*
RESOLUCIN DE DUDAS