Construccion de Tablas de analisis sintactico LALR

Universidad de Sonsonate
Facultad de Ingeniería y Ciencias Naturales



Materia: Compiladores

Catedrático: Ing. Álvaro Zavala

Tema: Tablas de Análisis Sintáctico LALR

Integrantes: Celia AdelaidaRamírez Siguachi
Saira Carolina Ascencio
Ricardo Francisco Puyaut Sermeño
Gerardo Antonio Robles Chapetón
Erick Balmore Valencia Barahona
Douglas Vásquez
Jorge Abraham Rodriguez

Año: 2015

¿Qué es?Como se ha visto, los analizadores LR son capaces de resolver, conflictos que los SLR no pueden, pero necesitan autómatas finitos con muchos más estados que los analizadores LR y SLR. Esto se debe a laintroducción de los símbolos de adelanto en el AFD, y la consiguiente aparición de estados que contienen las mismas configuraciones excepto por diferentes símbolos de adelanto.
Para gramáticasreales, una tabla de análisis LR puede llegar a ser 100 veces mayor que una tabla SLR. Para encontrar una situación intermedia que sea capaz de resolver los conflictos que los SLR no pueden, pero sinconsumir tanta memoria como los LR, se han desarrollado los analizadores LALR que se estudiarán en este tema.
Los analizadores LALR (look-ahead-left-to-right) son una simplificación de los LR: tienen unnúmero de estados similar a los de LR y SLR.
Conceptos Previos
Recuerde la construcción del analizador LR de la siguiente gramática, que no era SLR, y que genera el lenguaje {xb, anxbn | n≥0}
(1) S→A(2) S→xb
(3) A→aAb
(4) A→B
(5) B→x
La gramática aumentada es
(0)S’→S$
(1)S→A
(2)S→xb
(3)A→aAb
(4)A→B
(5)B→x

Construccion de tablas
Se diferenciará entre la parte de la tabla que indicadesplazamientos y la que indica reducciones:
Desplazamientos de la tabla:
Es igual que LR, se obtienen “leyendo las transiciones del autómata”. Es decir, si en el autómata se transita del estado si alsj mediante el símbolo (terminal o no) X, entonces se añade a la casilla la acción.

Reducciones de la tabla:
Es igual que LR, en las casillas a cada uno de los estados con configuraciones de...