La semántica de un programa es su significado, en oposición a su sintaxis o estructura. La semántica determina el comportamiento del programa durante la ejecución, pero la mayoría de los lenguajes de programación tienen características que se pueden determinar antes de la ejecución e incluso no se pueden expresar de manera adecuada como sintaxis y analizarse por medio del analizador sintáctico (Louden, 2004). Un analizador semántico utiliza el árbol de análisis sintáctico y la información de las tablas de símbolos para comprobar la consistencia semántica del programa fuente con la definición del lenguaje. Una de las funciones importantes del análisis semántico es la comprobación o verificación de tipos, incluye las declaraciones y se verifica que cada operador tenga los operandos correspondientes.
© 2001-2025 Fundación Dialnet · Todos los derechos reservados