AUTOMATAS DE PILA

Definicin:
Un autmata con pila, autmata a pila o autmata de pila es un modelo
matemtico de un sistema que recibe una cadena constituida por smbolos de
un alfabeto y determina si esa cadena pertenece al lenguaje que el autmata
reconoce. El lenguaje que reconoce un autmata con pila pertenece al grupo
de los lenguajes libres de contexto en la clasificacin de la Jerarqua de
Chomsky.
Notacin grafica para los autmatas de pila:

As:
Los smbolos del alfabeto de entrada se representan mediante las letras
minsculas prximas al principio del alfabeto, por ejemplo, a, b.
Los estados se representan mediante q y p, tpicamente, u otras letras
prximas en orden alfabtico.
Las cadenas de smbolos de entrada se representan mediante las letras
minsculas prximas al final del alfabeto, por ejemplo, w o z.
Los smbolos de la pila se representan mediante las letras maysculas
prximas al final del alfabeto, por ejemplo, X o Y.
Las cadenas de los smbolos de pila se representarn mediante letras griegas,
por ejemplo, o .

Descripciones instantneas de un autmata de pila.

Una descripcin instantnea o configuracin es una terna (q, x, Z) donde q

Q, x *, Z * que define: el estado del autmata, la entrada que resta por
leer y el contenido de la pila en un momento dado.
Lenguajes de un autmata de pila
Tomemos en cuenta que un autmata a pila acepta su entrada consumindola
e introduciendo un estado de aceptacin. Este enfoque se denomina
aceptacin por estado final. Existe un segundo enfoque que permite definir el
lenguaje de un autmata a pila que proporciona aplicaciones importantes.
Tambin podemos definir, para cualquier autmata a pila, el lenguaje
aceptado por pila vaca, que es el conjunto de cadenas que hacen que el
autmata a pila vace su pila, partiendo de la descripcin ID inicial. Estos dos
mtodos son equivalentes, en el sentido de que un lenguaje L tiene un
autmata a pila que lo acepta por estado final si y slo si L tiene un autmata a
pila que lo acepta por pila vaca. Sin embargo, para un autmata a pila dado P,
los lenguajes que P acepta por estado final y por pila vaca normalmente son
diferentes. En esta seccin vamos a ver cmo convertir un autmata a pila que
acepta L por estado final en otro autmata a pila que acepta L por pila vaca, y
viceversa.
Aceptacin por estado final
Sea P=(Q, , , ,q0,Z0,F) un autmata a pila. Entonces L(P), el lenguaje
aceptado por P por estado final, es {w|(q0,w,Z0) P (q, , )} para un
estado q de F y cualquier cadena de pila . Es decir, partiendo de la ID inicial
con w esperando en la entrada, P consume w a partir de la entrada y pasa a un
estado de aceptacin. El contenido de la pila en dicho instante es irrelevante.
Aceptacin por pila vaca
Para todo autmata a pila P=(Q, , , ,q0,Z0,F), definimos tambin: N(P)={w|
(q0,w,Z0) (q, ,)} para cualquier estado q. Es decir, N(P) es el conjunto de
entradas w que P puede consumir vaciando al mismo tiempo su pila.