Resumen De Compiladores

Gestión de tipos
Con la gestión de tipos se asegura que el tipo de una construcción sintáctica
coincida con el previsto en su contexto.
Reescritura de funciones. es una función es polimórficacuando tiene parámetros de tipo general, pero puede ejecutarse con argumentos de tipos especializados de la misma línea hereditaria, es decir, descendientes del tipo general, desencadenando en cada casouna acción diferente por medio de la vinculación dinámica.
Tres criterios de compatibilidad entre tipos
La compatibilidad nominal es la más estricta, esto es, la que impone las condiciones más fuertepara decidir cuándo dos variables se pueden asignar entre sí.
La compatibilidad estructural es la que se encuentra en un nivel intermedio.
La compatibilidad funcional es la más relajada.
Gestión detipos primitivos
En este punto se estudiará la gestión de una calculadora básica, cuando en ésta se incluye el tipo cadena de caracteres, además del tipo entero con el que ya se ha trabajado encapítulos anteriores.

Gramática de partida
La gramática a reconocer permitirá gestionar valores de tipo entero y de tipo cadena de caracteres.
Funciones pre construidas
A_CADENA(expr): tiene como parámetrouna expresión de tipo entero
y nos devuelve como resultado la cadena de texto que la representa.
A_ENTERO(expr):tiene como parámetro una expresión de tipo carácter
que representa un número y nosdevuelve como resultado su valor entero.
Pasos de construcción
Propuesta de un ejemplo
Definición de la tabla de símbolos
Asignación de atributos
Atributos de terminals
Atributos de no terminales
Accionessemánticas


Solución con Lex/Yacc
reconoce también literales de tipo cadena de caracteres que se retornan a través del token CADENA. Como atributo se le asocia el lexema sin comillas.

Solución conJavaCC paso
para ello se hara lo siguiente
Crear la clase contenedora con la función main().
Reconocer los tokens necesarios.
Incluir la gramática del punto 7.3.1.
Incluir variables en las...