Sede Villanueva
Compiladores
Gustavo Adolfo Vides Sols
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 de pila pertenece al
grupo de los lenguajes libres de contexto en la clasificacin de la jerarqua de Chomsky.
Funcin
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 (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 la pila vaca, conduce a un estado final, despus de leer toda la cadena x.
Ejemplo de un autmata de pila
Autmata de LR: SLR
Definicin
Analizador sintcticos LR. Tambin conocidos como parser LR, son un tipo de analizadores para
algunas gramticas libres de contexto. Pertenece a la familia de los analizadores ascendentes, ya
que construyen el rbol sintctico de las hojas hacia la raz. Utilizan la tcnica de anlisis por
desplazamiento reduccin.
Un programa conductor
Una entrada
Una salida
Una tabla de anlisis sintctico, compuesta de 2 partes (ACCIN Y GOTO)
Cabe acotar que el programa conductor es siempre igual, solo variando para cada lenguaje la tabla
de anlisis sintctico.
Funcin
Ejemplo
LR
SLR