1.2 Acciones semánticas de un analizador sintáctico

Es la fase del analizador que se encarga de checar el texto de entrada en base a una gramática dada. 

Y en caso de que el programa de entrada sea válido, suministra el árbol sintáctico que lo reconoce.

En teoría, se supone que la salida del analizador sintáctico es alguna representación del árbol sintáctico que reconoce la secuencia de Token suministrada por el analizador léxico.

En la práctica, el analizador sintáctico también hace:

• Acceder a la tabla de símbolos (para hacer parte del trabajo del analizador semántico).
• Chequeo de tipos (del analizador semántico).
• Generar código intermedio.
• Generar errores cuando se producen.
• En definitiva, realiza casi todas las operaciones de la compilación.

Este método de trabajo da lugar a los métodos de compilación dirigidos por sintaxis.

Acciones semánticas

Se encargan de que los tipos que intervienen en las expresiones sean compatibles o que los parámetros reales de una función sean coherentes con los parámetros formales.

Fase del analizador que se encarga de revisar el texto de entrada en base a una gramática dada.


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.
Gramática que acepta:
G (N, T, P, S)

N = No terminales.
T = Terminales.
P = Reglas de Producción.
S = Axioma Inicial.

Adilene Perez Reyes, A. G. (18 de Mayo de 2011). Analisis Semantico. Obtenido deGuevara, M. (s.f.). Acciones Semanticas