Compiladores : teoría e implementación /
Ruiz Catalán
- [s.l.] Alfaomega grupo editor 2010
- 448. p.
INTRODUCCIÓN; Definición de compilador; Estructura de un compilador; ANÁLISIS LÉXICO; Utilidad del análisis léxico; Construir el diagrama de transiciones; ANÁLISIS SINTÁCTICO; Funciones del analizador sintáctico; La recursividad; ANÁLISIS SINTÁCTICO DESCENDENTE; Analizadores sintácticos predictivos; Algoritmos de análisis; ANÁLISIS SINTÁCTICO ASCENDENTE; algoritmo de desplazamiento y reducción; Acción aceptar; Acción rechazar; TABLA DE TIPOS Y DE SÍMBOLOS; La tabla de tipos; Implementación de una tabla de tipos única; ANÁLISIS SEMÁNTICO; Atributos y acciones semánticas; Tipos de atributos; GENERACIÓN DE CÓDIGO INTERMEDIO Y FINAL; Tipos de código intermedio; Código de tres direcciones; IMPLEMENTACIÓN DE L-0; ESPECIFICACIÓN DE L-0; Instrucciones; Variables lógicas; Operadores; ANÁLISIS LÉXICO DE L-0; Preparativos; Inicialización y arranque; ANÁLISIS SEMÁNTICO Y GENERACIÓN DE CÓDIGO DE L-0; Tabla de símbolos; La función tautología; IMPLEMENTACIÓN; ESPECIFICACIÓN DE C-0; Tokens; Operadores y delimitadores; ANÁLISIS LÉXICO, SINTÁCTICO Y SEMÁNTICO DE C-0; Análisis léxico; Análisis sintáctico; GENERACIÓN DE CÓDIGO INTERMEDIO DE C-0; Asignación de direcciones a variables; Asignación de direcciones a variables; GENERACIÓN DE CÓDIGO FINAL DE C-0; Introducción a Ens2001; Cargar_dirección op1 null res; IMPLEMENTACIÓN DE C-1 ESPECIFICACIÓN DE C-1; Tipos estructurados; Registros; Declaración conjunta de variables y variables locales; ANÁLISIS LÉXICO Y SINTÁCTICO DE C-1; Análisis léxico; análisis sintáctico; ANÁLISIS SEMÁNTICO DE C-1; La tabla de tipos; La tabla de símbolos; GENERACIÓN DE CÓDIGO DE C-1; CI de expresiones; Asignación a una variable sencilla; Asignación a un campo de un registro.