Analizadores Sintácticos Lr

Universidad de San Carlos de Guatemala Facultad de Ingeniería Lenguajes Formales de Programación – Laboratorio Evander Flores

Analizadores Sintácticos LR

Javier Estuardo Tello Flores 2009-15255Introducción
En analizador sintáctico, es el encargado de revisar que exista una correcta sintaxis en la escritura del programa o código fuente. Este obtiene una cadena de tokens y verifica quedicha cadena pueda generarse por medio de una gramática. Existen varios tipos de analizadores sintácticos, los analizadores universales, que utilizan el algoritmo CYK, los analizadores descendentes(LL) y los ascendentes (LR). En este caso definiremos las características y funciones de los analizadores ascendentes (LR).

Marco Teórico
Analizadores Sintácticos LR Definición Los analizadoressintácticos son analizadores ascendentes, es decir derivan por la derecha y aceptan gramáticas por la izquierda. Los analizadores sintácticos del tipo LR, utilizan un algoritmo LR para llevar a cabo elanálisis de las cadenas de entrada. Características     Toma cadenas por la izquierda. Deriva por la derecha en forma ascendente. Crea un árbol sintáctico desde las hojas hasta la raíz. Procesodeterminista, pues no tiene retrocesos.

Componentes de un analizador sintáctico LR     Entrada: formada por la serie de componentes léxicos a reconocer. Programa Conductor: Lee los tokensrecibidos del analizador léxico de uno en uno, utiliza una pila para almacenar los símbolos reconocidos y los estados recorridos. Pila: compuesta por una pareja constituida por el símbolo reconocido y elestado por el que pasa el analizador. Tabla de análisis sintáctico: esta tabla está compuesta por dos partes: o Acciones: esta primera está formada por la siguiente dupla (S,α) donde se reconoce unsímbolo α y el estado actual S, a lo cual se le asigna una acción. Los tipos de acción son:  Desplazar  Reducir  Aceptación  Error o  Ir_A (Go To): de la forma (S, -no terminal-) indica a donde se...