Please enable JavaScript.
Coggle requires JavaScript to display documents.
Unidad 1 Análisis semántico - Coggle Diagram
Unidad 1 Análisis semántico
Arboles de expresión
son estructura de datos definiendo código
se basan en un compilador para analizar codigo
tienen la misma estructura
generando el resultado de uno
se utiliza para almacenar expresiones
aritmeticas en memoria
aplicadas en lenguajes de programación
es una secuencia
de tokens
operandos
operadores
nodos jerárquicos
hojas son operando
padres son operadores
se leen en 3 formas
preorden
in orden
en orden
pila semántica en una analizador sintáctico
colección de datos con estructura
se puede acceder desde un extremo
conocido como tope
pilas tienen dos operaciones basicas
Push para introducir elementos
Pop para extraer elementos
al extraer se obtiene el ultimo elemento que acabe de insertarse
analizador sintáctico
inicializa el compilador
por cada simbolo de entrada
llama al analizador morfológico
proporciona el siguiente símbolo de entrada
durante la fase de análisis
el compilador debe verificar que se siga las especificaciones del lenguaje
Manejo de errores semánticos
el análisis semántico
es posterior al sintáctico
por lo cual cuesta mas formalizar
trata de determinar resultados intermedios
comprobando que los argumentos
sean posibles de existir
comprueban que sean compatibles entres si
en pocas palabras
comprueban que el significado
de lo que va leyendo sea valido
Esquema de traducción
es una gramatica
independiente de contexto
se le asocia una tributo
con simboles gramaticales
se le asocian acciones semánticas encerradas en llaves {}
se trabaja con esquemas de traducción
en lugar de definiciones dirigidas
por sintaxis
lo que lo convierte en explicito en cuanto al orden
de sus acciones y evaluación de sus atributos
Acciones semánticas de un analizador sintáctico
se encarga de revisar que las expresiones sean compatibles
que los parámetros reales sean coherentes
y validación con parámetros formales
FASES
revisar texto de entrada
indica errores de forma clara
aclara errores
localiza errores
se basa a una gramatica
chequeo de tipos
genera código intermedio
trabaja dirigido a sintaxis
gramáticas aceptadas
T = Terminales.
P = Reglas de Producción
N = No terminales
S = Axioma Inicial
Acciones de un analizador
Acceder a la tabla de símbolos.
Chequeo de tipos.
Generar código intermedio.
Generar errores cuando se producen
Controla el flujo de tokens reconocidos por parte del analizador léxico.
Acciones semanticas
Sentencias “ejecutables”.
Funciones y procedimientos.
Sentencias de Declaración.
Identificación de variables.
comprobaciones de tipos en expresiones
consiste en conferir construcciones sintácticas
de tipo tipificación
realiza todo tipo de comprobaciones
tales comprobaciones son buenas puesto que confieren seguridad
en la ejecución del programa
tipos:
Comprobaciones dinámicas
Verificación de tipos
Comprobaciones estáticas
recoje
Generación de la tabla de símbolo y tabla de direcciones
una tabla puede
tomarse como una serie de renglones
cada uno contiene una lista
valores de atributos
asociados con variables en particular
de estructura relacionada
con fases de proceso
de copilación
la tabla de simbolos
tiene como propósito
registrar información
entre varias etapas
permitiendo administrar recursos
relacionadas a entidades de manipulación del programa