Análisis Semántico /Árboles
¿Que es la semántica?
Si llama como expresión debe retornar
¿Que es un tipo?
Verifica la presencia de símbolos de forma única
Ejemplo: Declara un símbolo una sola vez.
¿Que es chequeo de unicidad?
Un tipo compuesto está denotado por un
¿Que es una expresión de tipo?
Representación textual o estructura
¿Que es sintáxis?
Es lo que contiene un nodo
¿Que es un operador?
¿Que es un arreglo y una estructura?
No se puede representar en una CFG
¿Que es el uso y el mal uso de los identificadores?
Enteros, Booleanos, Float, Carácter, son parte de
¿Que son los tipos atomicos?
Da el significado del programa
¿Que es semántica?
Son representaciones del código del nivel de lenguaje en forma de datos
¿Que es un árbol sintáctico?
Declaración de una variable debe ser visible al usarla en scope
¿Que es el chequeo de flujo?
Las entidades pueden ser “vistas” solamente desde el bloque al que pertenecen o desde bloques internos.
Ámbito lexicográfico
Tipo especial que produce un error
¿Que es el type_error?
Es la región en la que las variables existen o desde la cual se puede acceder a ellos.
¿Que es scope?
Son el conjunto de normas y especificaciones que definen al lenguaje
Verifica los puntos del programa de salida y entrada del control
¿que es flujo de control?
Se pueden crear entidades que pueden ser llamadas desde bloques independientes al que fueron definidas.
¿Que es ámbito dinámico?
Tipo básico que denota la ausencia de un valor
¿Que es void?
¿Que es el sistema de tipo?
¿Que son los errores de programación?
enter-scope()
add-symbol(x)
find-symbol(x)
check-scoope(x)
exit-scope ()Ningún identificador puede ser usado para dos definiciones diferentes en el mismo scope
Case 'A' int suma (int n1,int n2);
Case 'A' int suma (int n1);
Este ejemplo corresponde a:
Chequeo de unicidad
¿Que son las function calls?
con este método consiste en dividir los problemas en sub problemas mas sencillos para conseguir una solución mas rápida
¿que es un top-down?