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.

Definicin formal
Formalmente, un autmata con pila puede ser descrito como una sptupla M = (S,,,,s,Z,F) donde: y son alfabetos de entrada, de la cadena y de la pila respectivamente; S un conjunto de estados; es el estado inicial; es el smbolo inicial de la pila; es un conjunto de estados de aceptacin o finales.

La interpretacin de con es la siguiente: Cuando el estado del autmata es s, el smbolo que la cabeza lectora est inspeccionando en ese momento es a, y en la cima de la pila nos encontramos el smbolo Z, se realizan las siguientes acciones: Si , es decir no es la palabra vaca, se avanza una posicin la cabeza lectora para inspeccionar el siguiente smbolo. Se elimina el smbolo Z de la pila del autmata. Se selecciona un par (pi,i) de entre los existentes en la definicin de (s,A,Z), la funcin de transicin del autmata. Se apila la cadena en la pila del autmata, quedando el smbolo A1 en la cima de la pila. Se cambia el control del autmata al estado pi.

Funcionamiento
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-firstout (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 1 de leer toda la cadena x.

Representacin
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 nmero 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 #.

Definicin
Un autmata de pila determinista (AFPD) es una 7-upla, P = (Q, , ,, q0, T,Z) donde: Q es un conjunto finito de estados. es el alfabeto de entrada. es el alfabeto de la pila. q0 Q es el estado inicial. Z smbolo inicial de la pila. T es subconjunto de Q (conjunto de estados finales). es la funcin de transicin tal que: : Q ( U { }) (Q *) Observacin En un momento, la unidad de control del autmata escanea un smbolo a sobre la cinta de entrada y el smbolo s en el tope de la pila. Este paso computacional representa: La unidad de control pasa a q0 y se mueve a la derecha en la cinta de entrada, borra el smbolo s del tope, escribe en la cadena y pasa a escanear el nuevo tope.

Autmata con pila no determinista

Un autmata finito con pila no determinista (AFPN) consta de los mismos parmetros de un AFPD. P = (Q, , , , q0, T,Z): Donde la funcin de transicin es de la forma: : Q ( U { }) Pf(Q *) Donde Pf (Q *) es un conjunto de subconjuntos finitos de Q *

Para q Q, a U {} y s (q, a, s) = {(q1, 1), (q2, 2), . . . , (qn, n)}

Ejemplo
Disear un AFPN que acepte el lenguaje Sobre: = {a, b} (q0, a, Z) = (q0, AZ) (q0, , Z) = (q2, Z) (acepta ) (q0, a, A) = (q0, AA) (q0, b, A) = (q1, ) (q1, b, A) = (q1, ) (q1, , Z) = (q2, Z)
4

El no determinismo se da por la presencia simultnea de: (q0, a, Z) y (q0, , Z)