Analizador Léxico-Sintáctico

Analizador Sintáctico
Objetivo
El objetivo principal del analizador sintáctico es el de producir una salida, a partir de una cadena de componentes léxicos, que consiste en:
Un árbol sintácticocon el que se continuará la siguiente etapa, si la cadena es una frase o conjunto de frases correspondientes a la gramática reconocida por el analizador.
Un informe con la lista de errores detectados,si la cadena contiene errores sintácticos, ej. alguna frase o frases que no se ajustan a la estructura sintáctica definida por la gramática correspondiente. El informe deberá ser lo más claro yexacto posible.
Otras tareas, complementarias a las de generar bien un árbol sintáctico, bien un informe de error, pueden ser las de completar la tabla de símbolos, con información sobre los tokens,tareas correspondientes al análisis sintáctico como la verificación de tipos, e incluso generación de código.
Manejo de errores
Los siguientes son los objetivos en el manejo de errores para el analizadorsintáctico:
Debe informar de una manera clara y detallada acerca de los errores sintácticos producidos en el programa fuente.
Se debe de recuperar de un error, con la suficiente habilidad como parapoder seguir detectando en una forma precisa errores posteriores.
La gestión de errores sintácticos no debe significar un retraso notable en el análisis de programas sintácticamente correctos.Ambigüedad en el análisis sintáctico
Definición 1: Decimos que una sentencia w de una GLC es ambigua, si podemos encontrar para ella dos o más árboles de derivación distinto, o bien, si podemos derivarla sentencia.
Definición 2: Una gramática es ambigua si tiene al menos una sentencia ambigua.
El hecho de que una gramática sea ambigua es una situación indeseable. Si la gramática se usa paradefinir la sintaxis de un lenguaje de programación, la ambigüedad de una sentencia puede implicar significados distintos para ella. Esto implicaría una ejecución distinta de la misma sentencia, y, por...