1. 1.3 Comprobaciones de tipos en expresiones.
1.1. Comprobación
1.1.1. estática
1.1.1.1. Recaba información de carácter semántico
1.1.1.2. proporcionan seguridad en la ejecución
1.1.1.3. realizada durante la fase de compilación
1.1.2. Dinamica
1.1.2.1. se delega al momento de la ejecución
1.1.2.2. Genera código diseñado para las comprobaciones
1.1.2.3. Exceso de comprobaciones genera programas lentos e inseguros
1.2. Tipos
1.2.1. Verificación
1.2.1.1. comprueba la compatibilidad de tipos
1.2.1.2. asegura ninguna referencia a símbolo no declarado
1.2.2. Inferencia
1.2.2.1. Para resolver el tipo de datos en función del contexto de evaluación
2. 1.4 Pila semántica en un analizador sintáctico.
2.1. analizador
2.1.1. Ascendente
2.1.1.1. Se construye a partir del axioma inicial utilizando derivaciones izquierdas
2.1.2. Botton up
2.1.2.1. Se construye a partir de componentes funcionales
2.1.3. Top down
2.1.3.1. se construye a partir de dividir en subproblemas para una solución rápida
2.1.4. Parse ascendente
2.1.4.1. se construye a partir de una pila para realizar operaciones de reducción necesarias
2.2. Reglas
2.2.1. Asigna significado a expresiones
2.2.2. Define valores de atributos en los nodos
2.2.3. Imprime valores
2.2.4. Actualiza valores
3. 1.5 Esquema de traducción.
3.1. dirigida por la sintaxis
3.1.1. 1.Detectar errores no encontrados en las fases anteriores.
3.1.2. 2.Asociar acciones a las reglas de la gramática.
3.1.3. 3.Realizar comprobaciones y construir el ASA..
3.1.4. 4.Recorrerlo para terminar las comprobaciones que será la base para la interpretación o la generación de código.
4. 1.7 Manejo de errores semánticos.
4.1. Son actividades complejas de resolver y que llevan su tiempo en la solución
4.2. Los errores pueden ser en tiempo de compilación, de ejecución o lógicos.
4.3. Manejo
4.3.1. En cada fase de análisis se debe de buscar y tratar el error
4.3.2. Un error puede provocar otros
4.3.3. Detectar todos los errores y no detenerse en el primero
5. Árboles de expresiones
5.1. Propiedades
5.1.1. Cada hoja es un operador
5.1.2. Los nodos raíz y los nodos internos son operadores
5.1.3. 3. Los subárboles son subexpresiones cuyo nodo raíz es un operador
6. 1.2 Acciones semánticas de un analizador sintáctico
6.1. 1.Acceder a la tabla de símbolos
6.2. 2. revisar el tipo de datos
6.3. 3. generar codigo intermedio
6.4. 4. generar errores cuando se producen
6.5. 5. otras operaciones de compilación
6.6. Manejo de errores
6.6.1. Indica los errores de manera clara y precisa
6.6.2. Aclara el tipo de error y su localizacion
6.6.3. Se recupera del error para seguir examinando mas entradas
6.6.4. Cuida de no volver lenta la compilación
7. 1.6 Generación de la tabla de símbolo y tabla de direcciones.
7.1. Componentes
7.1.1. 1.Creador de la tabla de símbolos.
7.1.1.1. Genera las entradas de las variables y subrutinas declaradas en la tabla de símbolos
7.1.2. 2.Inspector de la tabla de símbolos
7.1.2.1. Verifica que las subrutinas hayan sido declaradas
7.1.3. 3.Inspector de tipos
7.1.3.1. Verifica que las expresiones y sentencias no contengan error en el manejo de tipos