Análisis Léxico y Sintáctico

Casiano R. León ^0.1

Índice General
Índice de Figuras
Índice de Tablas
A Juana
Agradecimientos/Acknowledgments
Erratas
Expresiones Regulares en sed
- Transferencia de Control
- Inserción de Texto
- Trasferencia de Control Condicional
- Rangos
- Siguiente Línea: La orden n
- Manipulando tablas numéricas
- Traducción entre Tablas
- Del espacio de Patrones al de Mantenimiento
- La orden N
- Suprimir: El Comando D
- Búsqueda entre líneas
- Seleccionando Items en un Registro Multilínea
Expresiones Regulares en Flex
- Estructura de un programa LEX
- Versión Utilizada
- Espacios en blanco dentro de la expresión regular
- Ejemplo Simple
- Suprimir
- Declaración de yytext
- Declaración de yylex()
- yywrap()
- unput()
- input()
- REJECT
- yymore()
- yyless()
- Estados
- La pila de estados
  - Ejemplo
- Final de Fichero
- Uso de Dos Analizadores
- La Opción outfile
- Leer desde una Cadena: YY_INPUT
- El operador de ``trailing context'' o ``lookahead'' positivo
- Manejo de directivas include
- Análisis Léxico desde una Cadena: yy_scan_string
- Análisis de la Línea de Comandos y 2 Analizadores
- Declaraciones pointer y array
- Las Macros YY_USER_ACTION, yy_act e YY_NUM_RULES
- Las opciones interactive
- La macro YY_BREAK
Expresiones Regulares en Perl
- Introducción
- Algunas Extensiones
- Expresiones Regulares en Otros Lenguajes
- Casos de Estudio
- tr y split
- Pack y Unpack
La Estructura de los Compiladores: Una Introducción
- Las Bases
  - Repaso: Las Bases
  - Práctica: Crear y documentar el Módulo PL::Tutu
- Las Fases de un Compilador
  - Repaso: Fases de un Compilador
  - Práctica: Fases de un Compilador
- Análisis Léxico
- Pruebas para el Analizador Léxico
- Conceptos Básicos para el Análisis Sintáctico
  - Ejercicio
- Análisis Sintáctico Predictivo Recursivo
- Esquemas de Traducción
- Recursión por la Izquierda
- Árbol de Análisis Abstracto
- Análisis Semántico
  - Práctica: Declaraciones Automáticas
  - Práctica: Análisis Semántico
- Optimización Independiente de la Máquina
  - Práctica: Plegado de las Constantes
- Patrones Árbol y Transformaciones Árbol
  - Práctica: Casando y Transformando Árboles
- Asignación de Direcciones
  - Práctica: Cálculo de las Direcciones
- Generación de Código: Máquina Pila
- Generación de Código: Máquina Basada en Registros
  - Práctica: Generación de Código
- Optimización de Código
  - Práctica: Optimización Peephole
- El Módulo Regexp::Grammars
Análisis Sintáctico con Parse::Eyapp
- Conceptos Básicos para el Análisis Sintáctico
- Parse::Eyapp: Un Generador de Analizadores Sintácticos
- Depuración de Errores
- Acciones y Acciones por Defecto
- Traducción de Infijo a Postfijo
- Práctica: Gramática Simple en Parse::Eyapp
- El Método YYName y la Directiva %name
- Construyendo el Arbol de Análisis Sintactico Mediante Directivas
- La Maniobra de bypass
- Salvando la Información en los Terminales Sintácticos
- Práctica: Análisis Sintáctico
- Podando el Arbol
- Nombres para los Atributos
- Bypass Automático
- La opción alias de %tree
- Diseño de Analizadores con Parse::Eyapp
- Práctica: Construcción del Arbol para el Lenguaje Simple
- Práctica: Ampliación del Lenguaje Simple
- Agrupamiento y Operadores de Listas
- El método str en Mas Detalle
- El Método descendant
- Conceptos Básicos del Análisis LR
- Construcción de las Tablas para el Análisis SLR
  - Los conjuntos de Primeros y Siguientes
  - Construcción de las Tablas
- Algoritmo de Análisis LR
- Precedencia y Asociatividad
- Acciones en Medio de una Regla
- Manejo en eyapp de Atributos Heredados
- Acciones en Medio de una Regla y Atributos Heredados
Análisis Semántico con Parse::Eyapp
- Esquemas de Traducción: Conceptos
- Esquemas de Traducción con Parse::Eyapp
- Definición Dirigida por la Sintáxis y Gramáticas Atribuidas
- El módulo Language::AttributeGrammar
- Usando Language::AttributeGrammars con Parse::Eyapp
Transformaciones Árbol con Parse::Eyapp
- Árbol de Análisis Abstracto
- Selección de Código y Gramáticas Árbol
- Patrones Árbol y Transformaciones Árbol
- El método m
- Transformaciones Arbol con treereg
- Transformaciones de Árboles con Parse::Eyapp::Treeregexp
- La opción SEVERITY
Análisis Sintáctico con yacc
- Introducción a yacc
- Precedencia y Asociatividad
- Uso de union y type
- Acciones en medio de una regla
- Recuperación de Errores
- Recuperación de Errores en Listas
Análisis de Ámbito
- Análisis de Ámbito: Conceptos
- Descripción Eyapp del Lenguaje SimpleC
- Práctica: Construcción del AST para el Lenguaje Simple C
- Práctica: Análisis de Ámbito del Lenguaje Simple C
- La Dificultad de Elaboración de las Pruebas
- Análisis de Ámbito con Parse::Eyapp::Scope
- Resultado del Análisis de Ámbito
- Usando el Método str para Analizar el Árbol
- Práctica: Establecimiento de la relación uso-declaración
- Práctica: Establecimiento de la Relación Uso-Declaración Usando Expresiones Regulares Árbol
- Práctica: Estructuras y Análisis de Ámbito
Análisis de Tipos
- Análisis de Tipos: Conceptos Básicos
- Conversión de Tipos
- Expresiones de Tipo en Simple C
- Construcción de las Declaraciones de Tipo con hnew
- Inicio de los Tipos Básicos
- Comprobación Ascendente de los Tipos
- Análisis de Tipos: Mensajes de Error
- Comprobación de Tipos: Las Expresiones
- Comprobación de Tipos: Indexados
- Comprobación de Tipos: Sentencias de Control
- Comprobación de Tipos: Sentencias de Asignación
- Comprobación de Tipos: Llamadas a Funciones
- Comprobación de Tipos: Sentencia RETURN
- Comprobación de Tipos: Sentencias sin tipo
- Ejemplo de Árbol Decorado
- Práctica: Análisis de Tipos en Simple C
- Práctica: Análisis de Tipos en Simple C
- Práctica: Análisis de Tipos en Simple C con Gramáticas Atribuidas
- Práctica: Sobrecarga de Funciones en Simple C
- Análisis de Tipos de Funciones Polimorfas
  - Un Lenguaje con Funciones Polimorfas
  - La Comprobación de Tipos de las Funciones Polimorfas
  - El Compilador
  - Un Algoritmo de Unificación
- Práctica: Inferencia de Tipos
Instrucciones Para la Carga de Módulos en la ETSII
Usando Subversion
La gramática de Parse::Eyapp
Código de un Esquema de Traducción en Parse::Eyapp
- Código de trans_scheme_simple2.pl
- Ejecución
AST en SimpleC para una función con Parámetros
Código de CalcSimple.eyp
Código de Calc.pm
Código de aSb.output
Código de Calc.output
Código de Parse.yp
Índice de Materias
Bibliografía

Casiano Rodríguez León
2009-09-28

html">Índice General Sup: PL Err: Si hallas una errata ...

Casiano Rodríguez León
2009-09-29

asiano Rodríguez León
2009-10-05