Sig: Índice General Sup: PL Err: Si hallas una errata ...

Análisis Léxico y Sintáctico

Casiano R. León ¹

Índice General
Índice de Figuras
Índice de Tablas
A Juana
Agradecimientos/Acknowledgments
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
- Unicode
- Expresiones Regulares en Otros Lenguajes
- Casos de Estudio
- tr y split
- Pack y Unpack
- Práctica: Un lenguaje para Componer Invitaciones
- Analisis Sintáctico con Expresiones Regulares Perl
  - Introducción al Anaĺisis Sintáctico con Expresiones Regulares
  - Construyendo el AST con Expresiones Regulares 5.10
- Práctica: Traducción de invitation a HTML
- Análisis Sintáctico con Regexp::Grammars
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
Construcción de Analizadores Léxicos
- Encontrando los terminales mediante sustitución
- Construcción usando la opción g y el ancla G
- La clase Parse::Lex
  - Condiciones de arranque
- La Clase Parse::CLex
- El Módulo Parse::Flex
- Usando Text::Balanced
RecDescent
- Introducción
- Orden de Recorrido del Árbol de Análisis Sintáctico
- La ambiguedad de las sentencias if-then-else
- La directiva commit
- Las Directivas skip y leftop
- Las directivas rulevar y reject
- Utilizando score
- Usando autoscore
- El Hash %item
- Usando la directiva autotree
- Práctica
- Construyendo un compilador para Parrot
- Práctica
- Práctica
Análisis LR
- Parse::Yapp: Ejemplo de Uso
- Conceptos Básicos
- Construcción de las Tablas para el Análisis SLR
  - Los conjuntos de Primeros y Siguientes
  - Construcción de las Tablas
- El módulo Generado por yapp
- Algoritmo de Análisis LR
- Depuración en yapp
- Precedencia y Asociatividad
- Generación interactiva de analizadores Yapp
- Construcción del Árbol Sintáctico
- Acciones en Medio de una Regla
- Esquemas de Traducción
- Definición Dirigida por la Sintáxis
- Manejo en yapp de Atributos Heredados
- Acciones en Medio de una Regla y Atributos Heredados
- Recuperación de Errores
- Recuperación de Errores en Listas
- Consejos a seguir al escribir un programa yapp
- Práctica: Un C simplificado
- La Gramática de yapp / yacc
  - La Cabecera
  - La Cabecera: Diferencias entre yacc y yapp
  - El Cuerpo
  - La Cola: Diferencias entre yacc y yapp
  - El Análisis Léxico en yacc: flex
  - Práctica: Uso de Yacc y Lex
- El Analizador Ascendente Parse::Yapp
- La Estructura de Datos Generada por YappParse.yp
- Práctica: El Análisis de las Acciones
- Práctica: Autoacciones
- Práctica: Nuevos Métodos
- Práctica: Generación Automática de Árboles
- Recuperacion de Errores: Visión Detallada
- Descripción Eyapp del Lenguaje SimpleC
- Diseño de Analizadores con Parse::Eyapp
- Práctica: Construcción del AST para el Lenguaje Simple C
- El Generador de Analizadores byacc
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: Traductor de Términos a GraphViz
- 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
Índice de Materias
Bibliografía

Sig: Índice General Sup: PL Err: Si hallas una errata ...

Casiano Rodríguez León
2012-05-22