AUTMATAS DE PILA

INTRODUCCIN
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, son una extensin de 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).

Los autmatas de pila surgen como una alternativa para la creacin de

autmatas capaces de aceptar los lenguajes LLC (lenguajes libre de
contexto).

Un autmata de pila es un dispositivo que tiene acceso a:

1. Una secuencia de smbolos de entrada, que en general se representa por

una cinta que se desplaza frente a un mecanismo de captacin de dichos
smbolos.
2. El smbolo superior de una memoria en pila (LIFO).

Un autmata de Pila se encuentra en cada momento en un estado

determinado y el estado siguiente depende de los tres elementos siguientes:

1. Estado Actual
2. Smbolo de entrada
3. Smbolo superior a una pila

Generalmente el autmata a Pila es no determinista en el sentido de que

se permite que haya varias opciones posibles en cada momento
 Un AP puede realizar 2 tipos de operaciones elementales

1. Dependientes de la entrada
Se lee la cinta y se avanza la cabeza lectora, en funcin
Del estado(qi)
Del smbolo ledo en la cinta (a)
Del smbolo en la cima de la pila (z).
Se pasa a un nuevo estado, se elimina el elemento z de la
cima de la pila y se introduce en su lugar una cadena de
smbolos.
2. Independientes de la entrada
Las mismas operaciones que en el caso anterior solo que no se
lee la cinta ni se avanzan la cabeza lectora. Se maneja la Pla sin
la informacin de entrada

FUNCIONAMIENTO DE UNA PILA

Una pila es una lista ordenada o estructura de datos que permite
almacenar

y recuperar datos, el modo de acceso a sus elementos es de

tipo LIFO (Last In First Out, ltimo en entrar, primero en salir).

DENTRO DE LA JERARQUIA DE CHOMSKY

I. JERARQUA DE CHOMSKY.
En Lingstica es una clasificacin de jerarqua de distintos tipos de
gramticas formales que generan lenguajes formales.

Ideado por Noam Chomsky en 1956 en el MIT para clasificar de manera

matemtica los lenguajes formales en cuatro categoras enumeradas de 0 a
3 y los mecanismos formalizadores como gramticas formales, expresiones
y autmatas para reconocer cada tipo.

Tambin se conoce bajo el nombre de Clasificacin de Chomsky o Jerarqua

matemtica de los lenguajes.

Los autmatas de pila permiten reconocer los lenguajes independientes de

contexto, correspondientes a las gramticas de tipo 2(LLC) dentro de la
jerarqua de Chomsky.

QUE SON LOS LLC?

Lenguaje libre de contexto. En Lingstica, Matemticas e Informtica y en
la jerarqua de Chomsky se refiere a los lenguajes de tipo 2, aquellos que
pueden representarse mediante gramticas libres de contexto y autmatas
finitos.

Son los lenguajes formales que engloban a los lenguajes regulares y

constituyen mecanismos de representacin y reconocimiento de los
lenguajes de programacin desde el punto de vista sintctico.

El trmino libre de contexto se define al hecho de que el no terminal v puede

ser sustituido por w sin tener en cuenta el contexto en el que ocurra.

Permiten describir la mayora de los lenguajes de programacin, de hecho,

la sintaxis de la mayora de lenguajes de programacin est definida
mediante gramticas libres.

v--->w

Ejemplos:

DEFINICION FORMAL DE LOS AP

Un AP es una sptupla:
AP= (, , Q, A0, q0, f, F)

Donde:

1. es el alfabeto de entrada
2. es el alfabeto de la pila
3. Q es un conjunto finito de estados
4. A0 es el smbolo inicial de la pila
5. q0 Q el estado inicial del autmata
6. F Q es el subconjunto de estados finales
7. f es una aplicacin denominada funcin de transicin de ternas
(estado, smbolo de entrada o , smbolo de pila) en el conjunto de las
partes
Q* f: Q{{}} 2 Q*

Un AP comienza su funcionamiento en la configuracin inicial

en el estado inicial (q0).

con slo un smbolo en la pila (A0)
con la cabeza lectora en el primer smbolo de la entrada

A partir de esta configuracin realiza transiciones segn la definicin de la

funcin f.

TRANSICION DE UN AUTOMATA DE PILA

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.

Secuencia de un estado q0 de un autmata de pila.

1. Leer un smbolo de entrada

2. Extraer un smbolo de la pila
3. Insertar smbolo en la pila
4. Pasar a un nuevo estado
II. REPRESENTACION GRFICA
Para L= {on,1n ;n>=1}

LENGUAJE ACEPTADO POR UN AUTOMATA DE PILA

Se describe el proceso de aceptacin o rechazo de una palabra de *
mediante una sucesin de movimientos.

Un AP= (, , Q, A0, q0, f, F) puede reconocer palabras del alfabeto de

entrada de dos formas distintas:

por estado final: LF(AP) = {x | (q0, x, A0) * (p, , X), con pF, X*}
por vaciado de pila: LV (AP) = {x | (q0, x, A0) * (p, , ) con pQ}

LF(AP) y LV(AP) representan a los lenguajes reconocidos por el autmata

AP por estado final y por vaciado de pila respectivamente. Cuando la
aceptacin se realiza por vaciado de pila, el conjunto de estados finales
F es irrelevante.

AUTOMATAS DE PILA DETERMINISTAS

a diferencia de un autmata finito o una mquina de Turing, la definicin
bsica de un autmata con pila es de naturaleza no determinista, pues la
clase de los autmatas con pila determinsticos, a diferencia de lo que
ocurra con aquellos modelos, tiene una potencia descriptiva
estrictamente menor. Para calificar a un autmata con pila como
determinstico deben darse dos circunstancias; en primer lugar, por
supuesto, que en la definicin de cada componente de la funcin de
transicin existan un nico elemento lo que da la naturaleza determinista.
Pero eso no es suficiente, pues adems puede darse la circunstancia de
que el autmata est en el estado y en la pila aparezca el smbolo,
entonces, si existe una definicin de transicin posible para algn smbolo
cualquiera del alfabeto de entrada, pero, adems existe otra alternativa
para la palabra vaca, tambin esto es una forma de no determinismo,
pues podemos optar entre leer un smbolo o no hacerlo. Por eso, en
autmata determinstico no debe existir transicin posible con lectura de
smbolo si puede hacerse sin ella, ni al contrario.

BIBLIOGRAFIA