Analisis Semantico

U5 Programación de sistemas, "Análisis Semántico"
En esta unidad hacemos el análisis de la fase del análisis semántico, que es la fase que se encarga de computar la información para elprocesamiento del lenguaje una vez que haya completado la estructura completa de la parte sintáctica. El análisis semántico es la última parte del proceso de análisis de la síntesis del lenguaje.
Sintaxis:conjunto de reglas que especifican la estructura de los programas pertenecientes al lenguaje.
Semántica: conjunto de reglas que especifican el significado de una sentencia valida.
El analizadorsintáctico es el encargado de validar la coherencia y la validez semántica de las sentencias aceptadas.
Entendemos que el principal objetivo del analizador semántico es que el programa analizado cumpla lasreglas requeridas por las especificaciones de lenguaje a analizar para que este tenga una correcta ejecución. El análisis semántico varia entre un lenguaje de programación y otro, dependiendo lasnecesidades que requiera cada uno.
Verificación de Tipos de Expresiones
Sistema de Tipos:
Son las reglas que asignan tipos a las partes de un programa. Está formado por la definición y reglas que nospermiten comprobar el tipo de un identificador y en que contextos puede ser aplicado.
Cada lenguaje tiene su propio sistema de tipos, y como sabemos la comprobación es parte del análisis semántico.Funciones principales:
Estas son las reglas del lenguaje que nos permiten asignar tipos a las partes de un programa.
Es de suma importancia que nos aseguremos de que las partes del programa tengansentido según las reglas del tipo del lenguaje.
La información de los tipos puede ser de tipo estática o dinámica.
Entre mas comprobaciones realicemos durante la fase de compilación menos tendremosque realizar en la ejecución.
Como parte de la comprobación de tipos tenemos:
La conversión de tipos explicita, que es cuando el programador indica el tipo de destino, es decir que recibe un tipo...