Universidad Politcnica de Francisco I.

Madero
Ingeniera en Sistemas Computacionales
Lenguajes y Autmatas
Doc. Ing. Moiss Baltazar Hernndez
Alumnos Presentes:
Yadira Mera Bautista
Rogelio Galarza Ramrez
Antonio de Abad Delgado Garca
Samantha Lpez Gonzlez
Servando Nicolas Meja Hernndez
Saori Selene Mendoza Cano
Adolfo Carrillo Paredes
Fecha de Entrega: 17 de Junio del 2014.
En el caso de los circuitos secuenciales,
esta herramienta no nos basta debido a la
dependencia
temporal. Por lo tanto, necesitamos otra
herramienta para minimizar la
dependencia
temporal de estos circuitos; esta
herramienta es la teora de autmatas
finitos.
Introducci
n
Qu es un autmata
Finito?
Un autmata finito (AF) o mquina de estado finito es
un modelo computacional que realiza cmputos en
forma automtica sobre una entrada para producir
una salida.

Este modelo est conformado por un alfabeto, un
conjunto de estados y un conjunto de transiciones entre
dichos estados.

La finalidad de los autmatas finitos es la de
reconocer lenguajes regulares, que corresponden a
los lenguajes formales ms simples segn
la Jerarqua de Chomsky.
Teora de
Autmatas
En primer lugar, vamos a definir lo que se
entiende por autmata finito. Una posible
definicin de autmata finito es la siguiente:
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).
Definicin de Autmata
Finito
Formalmente, un autmata finito es una 5-tupla (Q,
, q
0
, , F) donde:


Un autmata finito determinista (abreviado AFD) 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).
En un AFD no pueden darse ninguno de estos dos casos:
Que existan dos transiciones del tipo (q,a)=q
1
y (q,a)=q
2
,
siendo q
1
q
2
;
Que existan transiciones del tipo (q, ), salvo que q sea un
estado final, sin transiciones hacia otros estados.
Un ejemplo interesante de autmatas finitos deterministas
son los tries.

Cmo se construye un
autmata finito?
En el comienzo del proceso de reconocimiento de una
cadena de entrada, el autmata finito se encuentra en el
estado inicial y a medida que procesa cada smbolo de
la cadena va cambiando de estado de acuerdo a lo
determinado por la funcin de transicin.
Cuando se ha procesado el ltimo de los smbolos de la
cadena de entrada, el autmata se detiene en el estado
final del proceso.
Si el estado final en el que se detuvo es un estado de
aceptacin, entonces la cadena pertenece al lenguaje
reconocido por el autmata; en caso contrario, la cadena
no pertenece a dicho lenguaje.
Note que el estado inicial de un autmata finito siempre
es nico, en tanto que los estados finales pueden ser ms
de uno, es decir, el conjunto puede contener ms de un
elemento. Tambin puede darse el caso de que un estado
final corresponda al mismo estado inicial.
Carta EPS para el algoritmo de construccin de Thompson.
Las reglas a las que hace mencin el algoritmo de Thompson son
las siguientes :
1. Para el smbolo , construir el AFND :
i es el nuevo estado inicial, y f es el nuevo estado de aceptacin.
Este AFND reconoce a
{ }.
2. Para cualesquier smbolo a del alfabeto , construir el AFND :
De nuevo, i es el nuevo estado inicial, y f es el nuevo estado de
aceptacin. Este
autmata reconoce { a }.
3. Supongamos que N(s) y N(t) son AFNDs para las expresiones
regulares s y t,
respectivamente.
a) Para la expresin regular s | t (alternancia), construir el siguiente
AFND, N(s|t) :
b) Para la expresin regular st (concatenacin), construir el AFND,
N(st)
c) Para la expresin regular s*, construir el AFND, N(s*)

Ejemplos de Autmatas
Finitos
Dada la expresin regular Token (c|d*)a construir su
correspondiente AFND.
La descomposicin sintctica de la expresin regular consiste
de 6 etapas bsicamente:
Conclusin
Para concluir con este tema aprendimos que existen
diversas generalidades que se puede ocupar para los
autmatas finitos, ya que en esta materia