PONTIFICIA UNIVERSAD
CATOLICA DEL EUADOR
SEDE IBARRA
Autor: Jefferson Almeida
AUTOMATA FINITO
DETERMISTA
Formalmente, un autómata con pila puede ser
descrito como una séptupla M=(S,\Sigma ,\Gamma
,\delta ,s,Z,F)} donde:
S} es un conjunto finito de estados;
Sigma y Gamma son alfabetos (símbolos de entrada
y de la pila respectivamente);
delta :S x (Sigma U {epsilon} ) X T Gamma ----> P(S X
T^*)
s E n S es el estado inicial;
Z E T es el símbolo inicial de la pila;
F subconjunto S es un conjunto de estados de
aceptación o finales;
REPRESENTACION
DEFINICIÓN
Los autómatas de pila pueden aceptar lenguajes que
no pueden aceptar los autómatas finitos.
Un autómata de pila cuenta con una cinta de entrada
y un mecanismo de control que puede
encontrarse en uno de entre un número finito de
estados. Uno de estos estados se designa como
estado inicial, y además algunos estados se llaman de
aceptación o finales. A diferencia de los
autómatas finitos, los autómatas de pila cuentan con
una memoria auxiliar llamada pila. Los
símbolos (llamados símbolos de pila) pueden ser
insertados o extraídos de la pila, de acuerdo con el
manejo last-in-first-out (LIFO).
AUTOMATA DE PILA
Formalmente, se define como una 5-tupla (Q, Σ, q0, δ,
F) donde:
Q es un conjunto de estados;
Sigma es un alfabeto;
q0 en Q es el estado inicial;
delta: Q x Sigma ---> Q es una función de transición;
F subconjunto Q es un conjunto de estados finales o
de aceptación.
REPRESENTACION
DEFINICIÓN
Este autómata recibirá una cadena en la cinta de
entrada e ira procesando de uno a la vez los símbolos
de entrada. Comenzará su funcionamiento
posicionada en el estado inicial, y desde este estado
comenzará su ejecución .En cada intervalo de tiempo
discreto realizará dos acciones las cuales serán
consideradas como acciones indivisibles en un
determinado intervalo de tiempo. Las acciones que
realiza son:·
Leer el próximo símbolo, desde la cinta de entrada.·
Transitar, cambiar de estado
 EJERCICIOS

Ejercicio propuesto
Ejercicio N. 1

Ejercicio N. 2
Ejercicio 3