OBJETIVO

Disear y analizar los autmatas de pila para comprender mejor su aplicacin en los analizadores
sintcticos.
JUSTIFICACIN
Tener conocimiento de la utilizacin de los autmatas de pila es un tema importante, ya que podemos
ampliar nuestro conocimiento y tener mas herramientas para el diseo de analizadores.
INTRODUCCIN
En este tema veremos como trabaja un AP, los elementos que lo forman y la manera en que se
representan las transiciones.
CONTENIDO
Una maquina de este tipo se representa de la siguiente forma

Al igual que un autmata finito un autmata de pila cuenta con un flujo de entrada y un flujo de control
que puede encontrarse en uno de entre un numero finito de estados. Uno de estos estados se designa
como el inicial y por lo menos un estado es de aceptacin.
La principal diferencia es que los autmatas de pila cuentan con una pila en donde pueden almacenar
informacin para recuperarla mas tarde.
Los smbolos que pueden almacenarse en esta pila se conocen como smbolos de pila de la maquina,
constituyen un conjunto finito que puede incluir algunos smbolos definiendo el alfabeto de la maquina y

quiz algunos smbolos adicionales que se utilizan como marcas internas. Si una maquina inserta un
smbolo especial en la pila antes de efectuar algn otro calculo, entonces ese smbolo en la cima de la
pila puede usarse como indicador de pila vaca para clculos posteriores, dicho smbolo es #.
Las transiciones que ejecutan los autmatas de pila deben ser variantes de la siguiente secuencia
bsica: leer un smbolo de entrada, extraer un smbolo de la pila insertar un smbolo en la pila y pasar a
un nuevo estado. Este proceso se representa con la notacin (p,x,s;q,y) donde p,x,s;q,y son,
respectivamente el estado p actual, el smbolo x del alfabeto que se lee de la entrada, el smbolo s que
se extrae de la pila, q el nuevo estado y "y" el smbolo que se inserta en la pila. Esta notacin esta
diseada para indicar que, el estado actual, el smbolo de entrada y el smbolo de la sima de la pila
ayudan a determinar conjuntamente el nuevo estado y el smbolo que deber insertarse en la pila. Se
obtienen variantes de este proceso bsico de transicin permitiendo que las transiciones lean extraigan o
inserten la cadena vaca. Por ejemplo una transicin posible seria (p, , ;q, ). Es decir, al encontrarse
en el estado p, la maquina podra no avanzar su cabeza de lectura(lectura de la cadena vaca) no extraer
un smbolo de su pila (Extraer ) no insertar un smbolo en su pila (insertar ) y pasar al estado q otro
ejemplo es la transicin que solo pasa del estado p al q extrayendo el smbolo s de la pila, lo cual
representa con (p, ,s; q, ). Otros ejemplos incluyen transiciones como (p, x , ; q , z) ,(p, , ;q,z)
etctera.
Para representar la coleccin de transiciones disponibles para un autmata de pila se utiliza un diagrama
de transiciones que es semejante al de un autmata finito, los estados se representan con crculos y las
transiciones por medio de arcos entre los crculos. La rotulacin de los arcos lleva ms informacin. Un
arco de p a q que representa la transicin (p,x,y;q,z) tendra una etiqueta x,y;z.
Ejemplo
El primer paso es marcar la parte inferior de la pila con el smbolo # y luego insertar en la pila las x
conforme se lean de la entrada. Luego la maquina extrae una x de la pila cada vez que se lee una y.
Cuando el smbolo # reaparece en la parte superior de la pila se ha ledo el mismo smbolo # de y y x.
Como el estado inicial es tambin de aceptacin se permite que la maquina acepte la cadena x0 y0, que
es .
A partir de este diagrama se observa que si la maquina lee una x de la entrada cuando se encuentra en
el estado 2, insertara una x en la pila y regresara al estado 2; si la maquina lee una de la entrada y puede
extraer una x de la pila cuando se encuentra en el estado 3; o si el smbolo # se encuentra en la cima de
la pila cuando la maquina se halla en el estado 3, la maquina puede extraer este smbolo y pasar al
estado 4.
Formalmente un autmata de pila es una sxtupla de la forma (S, , ,T,i,F) donde:

S: es una coleccin finita de estados

: es el alfabeto de la maquina
: es la coleccin finita de smbolos de pila
T: es una coleccin finita de transiciones
i: (es un elemento de S) es el estado inicial
F: (es un subconjunto de S) es la coleccin de estados de aceptacin

ACTIVIDADES OBLIGATORIAS
1. En los AP cul es el objetivo de la pila?
2. Menciona la secuencia bsica de los Autmatas de pila
ACTIVIDADES SUGERIDAS
1. Describe el funcionamiento de los autmatas de pila.
RECURSOS PARA AMPLIAR EL TEMA
BIBLIOGRAFIA
AUTOEVALUACION
1. Relaciona los autmatas de pila con algn elemento de uso comn y describe su
funcionamiento.
2. Mencione la relacin que tienen los autmatas de pila con los autmatas finitos y cuales son sus
diferencias.