Universidad Tcnica Del Norte

Fica-Cisic

Tema: Autmata De Pila Determinista

Ing. Diego Trejo
09/06/2016

AUTMATAS DE PILA

Los autmatas de pila, en forma similar a como se usan los

autmatas finitos, tambin se pueden utilizar para aceptar cadenas
de un lenguaje definido sobre un alfabeto A. Los autmatas de pila
pueden aceptar lenguajes que no pueden aceptar los autmatas
finitos. Un autmata de pila cuenta con una cinta de entrada y un
mecanismo de control que puede encontrarse en uno de entre un
nmero finito de estados. Uno de estos estados se designa como
estado inicial, y adems algunos estados se llaman de aceptacin o
finales. A diferencia de los autmatas finitos, los autmatas de pila
cuentan con una memoria auxiliar llamada pila. Los smbolos
(llamados smbolos de pila) pueden ser insertados o extrados de la
pila, de acuerdo con el manejo last-in-first-out (LIFO). Las transiciones
entre los estados que ejecutan los autmatas de pila dependen de los
smbolos de entrada y de los smbolos de la pila. El autmata acepta
una cadena x si la secuencia de transiciones, comenzando en estado
inicial y con pila vaca, conduce a un estado final, despus de leer
toda la cadena x.
Autmata de pila reconocedor determinstico
APD= <E, A, P, , e0, z0, F>
E: Conjunto finito de estados,
A: Alfabeto o conjunto finito de smbolos de la cinta de entrada,
P: Alfabeto o conjunto finito de smbolos de la Pila. PA=
: funcin de transicin de estados
e0: Estado inicial e0 E.
Z0: Smbolo distinguido Z0 P
F: Conjunto de estados finales o estados de aceptacin. F E.
La funcin de transicin definida como: :E x ( A {}) x P E x P
1) ( ei , a, X) =( ej , )
2) ( ei , , X) =( ej , )
donde a A; X P; P ; ei ,
ej E.
Nota: Si existe transicin de tipo (2), slo se garantiza que AP es
determinstico si s A, ( ei , s, X) est indefinida.

Descripcin instantnea
Una configuracin de un AP es una tripla <e, , > donde e:
estado_actual; : cadena de entrada a ser leda; : contenido de la
pila.
Luego, se define una relacin de transicin |--- en el espacio de
posibles configuraciones del AP, tanto si:
(1)

< ei , a,X > |--- < ej , , >

Si existe la transicin tipo (1), el
AP pasa al estado
ej, avanza la cabeza lectora y reemplaza
el tope X
por .
(2)
< ei , a, X > |--- < ej , a, > Si existe la transicin tipo (2), el
AP pasa al estado
ej, NO avanza la cabeza lectora y
reemplaza el tope X por .
donde aA; A ; XP; , P ;
ei ,ej E
La funcin de transicin de estados de un APD puede ser
representada por un diagrama donde los nodos representan los
estados y los arcos transiciones. Si existe transicin tipo (1), el arco
queda rotulado de la siguiente manera:

Si el estado actual es ei y la cabeza lectora apunta un smbolo a, y el

tope de la pila es X, entonces cambiar al nuevo estado ej, avanzar la
cabeza lectora, y sustituir el smbolo del tope X en la pila por la
cadena .

Por ejemplo:
Si = ZYX deja X , apila Y, y apila Z (nuevo tope Z). donde X, Y, Z
P
Si =XX deja X y apila X (nuevo tope X).
Si =X
deja X como el mismo tope (no altera la pila)
Si =
elimina X, y el nuevo tope es el smbolo por debajo
(desapila)
Ejemplo
A={a,b,c}
L1={cR / {a,b}* }
APD1 es un autmata de pila que reconoce L1.
APD1= <{e0,e1,e2} ,{a,b,c},{X,Y, Z0}, , e0, Z0, {e2}>