Analisis semantico

División:
INGENIERIA EN SISTEMAS COMPUTACIONALES
Grupo:
362-M
Asignatura:
LENGUAJES Y AUTOMATAS II
Docente:
SANTILLAN CHOREÑO MARIA ANGELICA
Nombre del alumno:
LUGO CASTILLO MONICA


UNIDAD 1
Análisis semántico
1.1 Árboles de expresiones
2 Visual Studio 2010
3 Visual Studio 2012
Los árboles de expresiones representan el código de nivel del lenguaje en forma de datos. Losdatos se almacenan en una estructura con forma de árbol. Cada nodo del árbol de expresión representa una expresión, por ejemplo, una llamada al método o una operación binaria, como x < y.

En la ilustración siguiente se muestra un ejemplo de una expresión y su representación en forma de un árbol de expresión. Las diferentes partes de la expresión tienen un color distinto para hacerlas coincidircon el nodo correspondiente del árbol de expresión. También se muestran los diferentes tipos de los nodos del árbol de expresión.














1.2 Acciones semánticas de un analizador sintáctico
Dependiendo del tipo de sentencias, las acciones semánticas pueden agruparse en:
Sentencias de Declaración: completar la sección de tipos de la Tabla de Símbolos.
Sentencias“ejecutables”: realizar comprobaciones de tipos entre los operandos implicados.
Funciones y procedimientos: comprobar el número, orden y tipo de los parámetros actuales en cada llamada a una función o procedimiento.
Identificación de variables: comprobar si un identificador ha sido declarado antes de utilizarlo.
Etiquetas: comprobar si hay etiquetas repetidas y validación.
Constantes: comprobar que no seutilicen en la parte izquierda de una asignación.
Conversiones y equivalencias de tipo: verificación.
Sobrecarga de operadores y funciones: detectar y solventar.

1.3 Comprobaciones de tipos de expresiones
La labor de comprobación de tipos consiste en conferir a las construcciones sintácticas del lenguaje la semántica de tipificación y en realizar todo tipo de comprobaciones de dichaíndole. Por su naturaleza, sin embargo, ésta se encuentra repartida entre la fase de análisis semántico y la generación de código intermedio.


Tipos de comprobaciones semánticas

Comprobaciones estáticas
Las comprobaciones estáticas recogen el compendio de todas aquellas tareas de carácter semántico que, por su naturaleza, pueden ser realizadas directamente durante la fasede compilación mediante el uso de los artefactos y mecanismos propios de dicha fase. Este tipo de comprobaciones son beneficiosas puesto que confieren seguridad a la ejecución del programa.

Comprobaciones dinámicas
Las comprobaciones dinámicas son aquellas que no se realizan durante la fase de compilación y se delegan al momento de la ejecución del programa. Ello requiere generar códigoejecutable específicamente diseñado para realizar tales comprobaciones.
Los lenguajes con una carga excesiva de comprobaciones dinámicas generan programas más largos, lentos e inseguros en ejecución.

Tipos de comprobaciones semánticas estáticas
Gestión de declaraciones
Se encarga de registrar todas las declaraciones realizadas por el programador a lo largo de los distintos ámbitos. Estatarea implica el registro de tipos y la comprobación de que no se produce ninguna colisión de nombres con los identificadores de otras declaraciones.


Verificación de tipos
Comprueba la compatibilidad de tipos de todas las expresiones del código fuente recuperando la información durante la gestión de declaraciones. Además se asegura de que no existe en el programa ninguna referencia a ningúnsímbolo no declarado.
Inferencia de tipos
En lenguajes sin tipificación de variables o con sobrecarga se aplican tareas de inferencia de tipos en el nivel gramatical de las expresiones para resolver el tipo de datos de la expresión resultante en función del contexto de evaluación

1.4 Pilas semánticas en un analizador sintáctico
Fundamentación: Un parser ascendente utiliza durante el...