TEMA IV Analisis Sintactico

Marvelin Pérez

12-SIST-6-055

Resumen tema IV

TEMA IV: ANÁLISIS SINTÁCTICO:

4.1. El papel del analizador sintáctico
El analizador sintáctico obtiene una cadena de tokens del analizador léxico y verifica que
la cadena de nombres de los tokens pueda generarse mediante la gramática para el
lenguaje fuente. Esperamos que el analizador sintáctico reporte cualquier error sintáctico
en formainteligible y que se recupere de los errores que ocurren con frecuencia para
seguir procesando el resto del programa. De manera conceptual, para los programas bien
formados, el analizador sintáctico construye un árbol de análisis sintáctico y lo pasa al
resto del compilador para que lo siga procesando. De hecho, el árbol de análisis sintáctico
no necesita construirse en forma explícita, ya que lasacciones de comprobación y
traducción pueden intercalarse con el análisis sintáctico, como veremos más adelante.
Por ende, el analizador sintáctico y el resto de la interfaz de usuario podrían
implementarse sin problemas mediante un solo módulo.

4.2. Gramáticas independientes del contexto
En la sección 2.2 se presentaron las gramáticas para describir en forma sistemática la
sintaxis de lasconstrucciones de un lenguaje de programación, como las expresiones y
las instrucciones. Si utilizamos una variable sintáctica instr para denotar las instrucciones,
y una variable expr para denotar las expresiones, la siguiente producción:

instr → if ( expr ) instr else instr (4.4)

Especifica la estructura de esta forma de instrucción condicional. Entonces, otras
producciones definen con precisión lo que esuna expr y qué más puede ser una instr. En
esta sección repasaremos la definición de una gramática libre de contexto y
presentaremos la terminología para hablar acerca del análisis sintáctico. En especial, la
noción de derivaciones es muy útil para hablar sobre el orden en el que se aplican las
producciones durante el análisis sintáctico.

Marvelin Pérez

12-SIST-6-055

Resumen tema IV

4.3.Escritura de una gramática
Las gramáticas son capaces de describir casi la mayoría de la sintaxis de los lenguajes de
programación. Por ejemplo, el requerimiento de que los identificadores deben declararse
antes de usarse, no puede describirse mediante una gramática libre de contexto. Por lo
tanto, las secuencias de los tokens que acepta un analizador sintáctico forman un super
conjunto del lenguajede programación; las fases siguientes del compilador deben
analizar la salida del analizador sintáctico, para asegurar que cumpla con las reglas que
no verifica el analizador sintáctico.
Esta sección empieza con una discusión acerca de cómo dividir el trabajo entre un
analizador léxico y un analizador sintáctico. Después consideraremos varias
transformaciones que podrían aplicarse para obtener unagramática más adecuada para
el análisis sintáctico. Una técnica puede eliminar la ambigüedad en la gramática, y las
otras (eliminación de recursividad por la izquierda y factorización por la izquierda) son
útiles para rescribir las gramáticas, de manera que sean adecuadas para el análisis
sintáctico descendente.

4.4. Análisis sintáctico descendente
El análisis sintáctico descendente puede versecomo el problema de construir un árbol
de análisis sintáctico para la cadena de entrada, partiendo desde la raíz y creando los
nodos del árbol de análisis sintáctico en preorden. De manera equivalente, podemos
considerar el análisis sintáctico descendente como la búsqueda de una derivación por la
izquierda para una cadena de entrada.

4.5. Análisis sintáctico ascendente
Un análisis sintácticoascendente corresponde a la construcción de un árbol de análisis
sintáctico para una cadena de entrada que empieza en las hojas (la parte inferior) y
avanza hacia la raíz (la parte superior). Es conveniente describir el análisis sintáctico como
el proceso de construcción de árboles de análisis sintáctico, aunque de hecho un frontend de usuario podría realizar una traducción directamente, sin...