ANALISIS SEMÁNTICO

Fase del compilador que lleva a cabo la verificación en los tipos de datos y que estos se hayan declarado antes de ser utilizados.

• Análisis léxico

• Generador de código intermedio

• Análisis sintáctico

• Análisis semántico

¿Qué es la semántica?

• Se refiere a los aspectos de la gramática y la correcta escritura

• Se refiere a los aspectos del conocimiento de las cosas

• Se refiere a los aspectos de la sintaxis

• Se refiere a los aspectos del significado, sentido o interpretación

¿Qué hace el análisis semántico?

• Comprueba que el significado de lo que se va leyendo es válido.

• Comprueba que la gramática de lo que se va leyendo es válido.

• Comprueba que el acervo de palabras de lo que se va leyendo es válido.

¿Qué no hace le análisis semántico, del ejemplo de clase?

• Que todos los identificadores que aparecen en la expresión hayan sido declarados en el ámbito actual, o en alguno de sus ámbitos (bloques) previos

• Que a los tipos de los identificadores base y altura se les pueda aplicar el operador de multiplicación. Un registro en C, por ejemplo, no sería válido.

• Que separe los términos y obtenga su gramática, donde se valide la expresión.

• Que la sub-expresión de la izquierda sea semánticamente válida, es decir, que sea un valor a la izquierda (una expresión de asignación).

¿Cuáles son los elementos de la tabla de simbolos?

• Especificación del identificador

• Tipo

• Dimensión o tamaño

• Estructura usada

• Listas de información adicional

¿Cuales no son las operaciones que realiza una tabla de símbolos?

• Adjuntar

• Crear

• Buscar

• Ordenar

• Revisar