Sig: Bibliografía
Sup: Análisis Léxico y Sintáctico
Ant: Usando Subversion
Err: Si hallas una errata ...
Índice de Materias
- YYSemval
- Manejo en yapp de
- yacc
- La Cabecera: Diferencias entre
- bison
- La Cabecera: Diferencias entre
- flex
- El Análisis Léxico en
- LEX
- El Análisis Léxico en
- Benchmark
- Práctica: El Análisis de
- YYSemval
- Manejo en eyapp de
- pos
- El Modificador /g
- AAA
- Lenguajes Árbol y Gramáticas
| Árbol de Análisis Abstracto
- Abigail
- Práctica: Números de Línea,
- abstract syntax tree
- Lenguajes Árbol y Gramáticas
| Árbol de Análisis Abstracto
- acciones de desplazamiento
- Construcción de las Tablas
| Las Tablas de Saltos
- acciones semánticas
- Esquemas de Traducción
| Conceptos Básicos para el
| Esquemas de Traducción: Conceptos
- acciones shift
- Construcción de las Tablas
| Las Tablas de Saltos
- acción de reducción
- Construcción de las Tablas
| Ante que Terminales se
- acción de transformación árbol
- Escalares
- acción en medio de la regla
- Acciones en Medio de
| Acciones en Medio de
- alfabeto con función de aridad
- Lenguajes Árbol y Gramáticas
| Alfabeto con Aridad o
- algoritmo de construcción del subconjunto
- Construcción de las Tablas
| Construcción de las Tablas
- antiderivación
- Conceptos Básicos
| Conceptos Básicos del Análisis
- análisis de ámbito
- El Problema del Análisis
- aplicación parcial
- Sobrecarga, Polimorfismo e Inferencia
- AST
- Lenguajes Árbol y Gramáticas
| Árbol de Análisis Abstracto
- atributo heredado
- Esquemas de Traducción
| Definición Dirigida por la
| Conceptos Básicos para el
| Esquemas de Traducción: Conceptos
| Definición Dirigida por la
- atributo sintetizado
- Esquemas de Traducción
| Definición Dirigida por la
| Conceptos Básicos para el
| Esquemas de Traducción: Conceptos
| Definición Dirigida por la
- atributo ámbito
- Binding Estático y Binding
- atributos de los símbolos
- Parse::Yapp: Ejemplo de Uso
| Las Acciones en eyapp
- atributos formales
- Definición Dirigida por la
| Definición Dirigida por la
- atributos heredados
- Definición Dirigida por la
| Manejo en yapp de
| Manejo en eyapp de
| Definición Dirigida por la
- atributos intrínsecos
- Definición Dirigida por la
| Definición Dirigida por la
- atributos sintetizados
- Definición Dirigida por la
| Definición Dirigida por la
- autómata finito determinista
- Construcción de las Tablas
| Construcción de las Tablas
- autómata árbol
- Patrones Árbol y Transformaciones
| Casamiento Árbol
- Basic Multilingual Plane
- Introducción
- bloque básico
- Práctica: Optimización Peephole
- BMP
- Introducción
- cabecera
- Ambiguedades
- can
- Patrones Árbol y Transformaciones
- casa con la sustitución
- Patrones Árbol y Transformaciones
| Casamiento Árbol
- casa con un árbol
- Patrones Árbol y Transformaciones
| Casamiento Árbol
- casamiento de árboles
- Patrones Árbol y Transformaciones
| Patrones Árbol y Transformaciones
- clase
- Realización del AAA para
- Class Construction Time
- Class Construction Time
- clausura
- Construcción de las Tablas
| Construcción de las Tablas
- code points
- Introducción
| Introducción
- combining character sequence
- Introducción
- compilador cruzado
- Optimización de Código
- comprobador de tipos
- Expresiones de Tipo, Sistemas
- condición semántica
- Escalares
- conflicto de desplazamiento-reducción
- Construcción de las Tablas
| Precedencia y Asociatividad
| Conflictos en Un Analizador
| Precedencia y Asociatividad
- conflicto reduce-reduce
- Construcción de las Tablas
| Precedencia y Asociatividad
| Conflictos en Un Analizador
| Precedencia y Asociatividad
- conflicto shift-reduce
- Construcción de las Tablas
| Precedencia y Asociatividad
| Conflictos en Un Analizador
| Precedencia y Asociatividad
- conversiones de tipo
- Conversión de Tipos
- currying
- Sobrecarga, Polimorfismo e Inferencia
- código auxiliar para las transformaciones
- La Estructura de un
- DAG
- Construcción de las Declaraciones
- declaración
- El Problema del Análisis
- declaración global
- Binding Estático y Binding
- declaración local
- Binding Estático y Binding
- definiciones de familias de transformaciones
- La Estructura de un
- definición dirigida por la sintáxis
- Definición Dirigida por la
| Acciones en Medio de
| Acciones en Medio de
| Definición Dirigida por la
- deriva en un paso en el árbol
- Lenguajes Árbol y Gramáticas
| Lenguaje Generado por una
- DFA
- Construcción de las Tablas
| Construcción de las Tablas
- Directed Acyclic Graph
- Construcción de las Declaraciones
- Document Type Definition
- Práctica: Un lenguaje para
- documento aqui
- Concatenación y Documentos HERE
- DTD
- Práctica: Un lenguaje para
- duck typing
- Equivalencia de Expresiones de
- dynamic binding
- Binding Estático y Binding
- Débilmente Tipado
- Tipado Fuerte y Tipado
- early binding
- Binding Estático y Binding
- Ejercicio
- Ambiguedad y LL(1)
- Ejercicio: Ambiguedad y LL(1)
- Calcular los
- Ejercicio: Calcular los
- Caracterización de una gramática LL(1)
- Ejercicio: Caracterización de una
- Construir los
- Ejercicio: Construir los
- El or es vago
- Ejercicio: El or es
- El orden de las expresiones regulares
- Ejercicio: El orden de
- Factores Comunes
- Ejercicio: Factores Comunes
- La opción g
- Ejercicio: La opción g
- Opciones g y c en Expresiones Regulares
- Ejercicio: Opciones g y
- Recorrido del árbol en un ADPR
- Ejercicio: Recorrido del árbol
- Regexp para cadenas
- Ejercicio: Regexp para cadenas
- El else casa con el if mas cercano
- La ambiguedad de las
- El nombre de una regla de producción
- Prefijos
- equivalencia de tipos
- ¿Que es una declaración?
- equivalencia de tipos estructural
- Equivalencia de Expresiones de
- equivalencia de tipos nominal
- Equivalencia de Expresiones de
- equivalencia por nombres
- Equivalencia de Expresiones de
- esquema de traducción
- Programa Principal: usando la
| Esquemas de Traducción
| Esquemas de Traducción
| Manejo en yapp de
| Conceptos Básicos para el
| Manejo en eyapp de
| Esquemas de Traducción: Conceptos
- esquema de traducción árbol
- Patrones Árbol y Transformaciones
| Patrones Árbol y Transformaciones
- Execution Time
- Execution Time
- expresiones de tipo
- ¿Que es una declaración?
| Expresiones de Tipo, Sistemas
- Expresiones Regulares Arbol
- Transformaciones de Árboles con
- expresiones regulares lineales
- Expresiones Regulares
| Modificación de la Semántica
- expresión de tipo
- Inferencia, Declaraciones Implícitas y
| Sobrecarga, Polimorfismo e Inferencia
- expresión regular clásica
- Expresiones Regulares
- expresión regular lineal
- Expresiones Regulares
- expresión regular árbol array
- Expresiones Regulares Arbol Array
- expresión regular árbol estrella
- Expresión regular árbol estrella
- extractores
- Usando Text::Balanced
- Extreme Programming
- Principios Básicos del Desarrollo
- falso bucle for
- El Analizador Léxico
- fase de creación del paquete Treeregexp
- Fases en la Ejecución
- flecha gorda
- Código de Transformación
- Fuertemente Tipado
- Tipado Fuerte y Tipado
- función de aridad
- Lenguajes Árbol y Gramáticas
| Alfabeto con Aridad o
- función de transición del autómata
- Construcción de las Tablas
| Clausura de un Conjunto
- generador de generadores de código
- Selección de Código y
- goto
- Construcción de las Tablas
| Las Tablas de Saltos
- grafo de dependencias
- Definición Dirigida por la
| Evaluación de una Definición
- grafo dirigido acíclico
- Construcción de las Declaraciones
- gramática atribuída
- Definición Dirigida por la
| Gramáticas Atribuídas
- gramática es recursiva por la izquierda
- Recursión por la Izquierda
- gramática árbol regular
- Lenguajes Árbol y Gramáticas
| Gramática Árbol
- handle
- Conceptos Básicos
| Conceptos Básicos del Análisis
- hashed consing
- hnew
- here document
- Concatenación y Documentos HERE
- identificación de los nombres
- Binding Estático y Binding
- idioms
- El Analizador Léxico
- inferencia de tipos
- Sobrecarga, Polimorfismo e Inferencia
| Análisis de Tipos de
- inserción automática de anclas
- Expresiones Regulares
- inserción automática de la opción x
- Expresiones Regulares
- intrínsecamente ambiguos
- La ambiguedad de las
- IR
- Selección de Código y
- isa
- Patrones Árbol y Transformaciones
- items núcleo
- Construcción de las Tablas
| Las Tablas Construidas por
- L-atribuída
- Definición Dirigida por la
| Gramáticas L-Atribuídas
- LALR
- Construcción de las Tablas
| Las Tablas Construidas por
- late binding
- Binding Estático y Binding
- lenguaje generado
- Orden de Recorrido del
- lenguaje objeto
- Tipado Estático y Tipado
- lenguaje árbol generado por una gramática
- Lenguajes Árbol y Gramáticas
| Lenguaje Generado por una
- lenguaje árbol homogéneo
- Lenguajes Árbol y Gramáticas
| Lenguaje de los Arboles
- LHS
- Prefijos
- Lisp
- hnew
- lista de no terminales
- Realización del AAA para
| Realización del AAA para
- LL(1)
- Gramáticas LL(1)
- local
- Binding Estático y Binding
- LR
- Conceptos Básicos
| Conceptos Básicos del Análisis
- manejador de ámbito
- El Método Parse::Eyapp::Scope->new
- mango
- Conceptos Básicos
| Conceptos Básicos del Análisis
- memoization
- hnew
- metalenguaje
- Tipado Estático y Tipado
- metaprogramas
- Tipado Estático y Tipado
- miscreant grammar
- Debugging grammar creation
- modo byte
- Operadores, STDOUT y Unicode
- modo carácter
- Operadores, STDOUT y Unicode
- máximo factor común
- Ejercicio: Factores Comunes
- método
- Realización del AAA para
- método abstracto
- Práctica: Plegado de las
- name binding
- El Problema del Análisis
- NFA
- Conceptos Básicos
| Conceptos Básicos del Análisis
- nodo ámbito
- El Método Parse::Eyapp::Scope->new
- nodos de uso
- El Método Parse::Eyapp::Scope->new
- nombre
- El Problema del Análisis
- nombre por defecto
- Modo Standalone
- normalización del árbol
- Patrones Árbol y Transformaciones
| Patrones Árbol y Transformaciones
- notación dolar
- La opción alias de
| Nombres de los atributos
| Nombres de atributos de
| La cláusula alias de
- notación posicional
- Nombres de los atributos
- notación punto
- La opción alias de
| Nombres de los atributos
| Nombres de atributos de
| La cláusula alias de
- notas a pie de árbol
- Mostrando el Resultado del
- nueva opción X
- Expresiones Regulares
- objeto
- Realización del AAA para
- objeto transformación
- Fases en la Ejecución
- OCaml
- Sobrecarga, Polimorfismo e Inferencia
- ocultar la visibilidad
- Visibilidad
- opciones de línea
- Modificación de Múltiples Ficheros:
- Opción de perl -i
- Modificación de Múltiples Ficheros:
- Opción de perl -n
- Modificación de Múltiples Ficheros:
- Opción de perl -p
- Modificación de Múltiples Ficheros:
- operaciones de bypass
- Bypass Automático
- operación de bypass
- Bypass Automático
- orden parcial
- Definición Dirigida por la
| Evaluación de una Definición
- orden topológico
- Definición Dirigida por la
| Evaluación de una Definición
- patrones árbol
- Patrones Árbol y Transformaciones
| Patrones Árbol y Transformaciones
- patrón
- Patrones Árbol y Transformaciones
| Patrón Árbol
- patrón de entrada
- Patrones Árbol y Transformaciones
| Patrones Árbol y Transformaciones
- patrón de separación
- Introducción
- patrón lineal
- Patrones Árbol y Transformaciones
| Patrón Lineal
- patrón árbol
- Patrones Árbol y Transformaciones
| Patrones Árbol y Transformaciones
- patrón árbol semántico
- Escalares
- pattern space
- Expresiones Regulares en sed
- Peephole optimization
- Optimización de Código
- perfilado
- Práctica: Pruebas en el
- planes
- Introducción
- plegado de constantes
- Optimización del Traductor de
- polimorfa
- Sobrecarga, Polimorfismo e Inferencia
- polimorfismo
- Sobrecarga, Polimorfismo e Inferencia
- Polimorfismo Ad-hoc
- Sobrecarga, Polimorfismo e Inferencia
- polimorfismo paramétrico
- Sobrecarga, Polimorfismo e Inferencia
- polimorfo
- Sobrecarga, Polimorfismo e Inferencia
- postponed regular subexpression
- Caveats
- precomposed characters
- Introducción
- Primeros
- Los conjuntos de Primeros
| Los conjuntos de Primeros
- profiler
- Práctica: Pruebas en el
- profiling
- Práctica: Pruebas en el
- programación genérica
- Sobrecarga, Polimorfismo e Inferencia
- Protocolo YATW de LLamada
- Parámetros Pasados a una
- Práctica
- Autoacciones
- Práctica: Autoacciones
- El Análisis de las Acciones
- Práctica: El Análisis de
- Ampliación del Lenguaje Simple
- Práctica: Ampliación del Lenguaje
- Análisis de Tipos en Simple C
- Práctica: Análisis de Tipos
| Práctica: Análisis de Tipos
- Análisis de Tipos en Simple C con Gramáticas Atribuidas
- Práctica: Análisis de Tipos
- Análisis de Ámbito del Lenguaje Simple C
- Práctica: Análisis de Ámbito
- Análisis Semántico
- Práctica: Análisis Semántico
- Análisis Sintáctico
- Práctica: Análisis Sintáctico
- Arbol de Análisis Abstracto
- Práctica: Arbol de Análisis
- Calculadora con Regexp::Grammars
- Práctica: Calculadora con Regexp::Grammars
- Casando y Transformando Árboles
- Práctica: Casando y Transformando
- Construcción de los FIRST y los FOLLOW
- Práctica: Construcción de los
- Construcción del Arbol para el Lenguaje Simple
- Práctica: Construcción del Arbol
- Construcción del AST para el Lenguaje Simple C
- Práctica: Construcción del AST
| Práctica: Construcción del AST
- Crear y documentar el Módulo PL::Tutu
- Práctica: Crear y documentar
- Cálculo de las Direcciones
- Práctica: Cálculo de las
- Declaraciones Automáticas
- Práctica: Declaraciones Automáticas
- Eliminación de la Recursividad por la Izquierda
- Práctica: Eliminación de la
- Establecimiento de la relación uso-declaración
- Práctica: Establecimiento de la
- Establecimiento de la Relación Uso-Declaración Usando Expresiones Regulares Árbol
- Práctica: Establecimiento de la
- Estructuras y Análisis de Ámbito
- Práctica: Estructuras y Análisis
- Fases de un Compilador
- Práctica: Fases de un
- Generación Automática de Analizadores Predictivos
- Práctica: Generación Automática de
- Generación Automática de Árboles
- Práctica: Generación Automática de
- Generación de Código
- Práctica: Generación de Código
- Gramática Simple en Parse::Eyapp
- Práctica: Gramática Simple en
- Inferencia de Tipos
- Práctica: Inferencia de Tipos
- Nuevos Métodos
- Práctica: Nuevos Métodos
- Números de Línea, Errores, Cadenas y Comentarios
- Práctica: Números de Línea,
- Optimización Peephole
- Práctica: Optimización Peephole
- Plegado de las Constantes
- Práctica: Plegado de las
- Pruebas en el Análisis Léxico
- Práctica: Pruebas en el
- Sobrecarga de Funciones en Simple C
- Práctica: Sobrecarga de Funciones
- Traducción de invitation a HTML
- Práctica: Traducción de invitation
- Traductor de Términos a GraphViz
- Práctica: Traductor de Términos
- Un analizador APDR
- Práctica: Un analizador APDR
- Un C simplificado
- Práctica: Un C simplificado
- Un lenguaje para Componer Invitaciones
- Práctica: Un lenguaje para
- Uso de Yacc y Lex
- Práctica: Uso de Yacc
- recursiva por la derecha
- Eliminación de la Recursión
- recursiva por la izquierda
- Recursión por la Izquierda
- reducción-reducción
- Construcción de las Tablas
| Precedencia y Asociatividad
| Conflictos en Un Analizador
| Precedencia y Asociatividad
- reflexividad
- Tipado Estático y Tipado
- regexp
- Expresiones Regulares
- regla de producción unaria
- Bypass Automático
- regla por defecto
- Ejecución
- reglas de evaluación de los atributos
- Definición Dirigida por la
| Definición Dirigida por la
- reglas de transformación
- Patrones Árbol y Transformaciones
| Patrones Árbol y Transformaciones
- reglas de visibilidad
- Visibilidad
- reglas de ámbito
- El Problema del Análisis
- reglas semánticas
- Definición Dirigida por la
| Definición Dirigida por la
- rendimiento
- Práctica: El Análisis de
- Repaso
- Fases de un Compilador
- Repaso: Fases de un
- Las Bases
- Repaso: Las Bases
- Pruebas en el Análisis Léxico
- Repaso: Pruebas en el
- Representación intermedia
- Selección de Código y
- rightmost derivation
- Conceptos Básicos
| Conceptos Básicos del Análisis
- S-atribuída
- Definición Dirigida por la
| Gramáticas S-Atribuídas
- scope
- El Problema del Análisis
- script sed
- Expresiones Regulares en sed
- sección de código
- Estructura de un programa
- sección de definiciones
- Estructura de un programa
- sección de reglas
- Estructura de un programa
- selección de código
- Selección de Código y
- siguientes
- Los conjuntos de Primeros
| Los conjuntos de Primeros
- sistema de tipos
- Expresiones de Tipo, Sistemas
- SLR
- Construcción de las Tablas
| Construcción de las Tablas
| Construcción de las Tablas
| Las Tablas de Saltos
| Algoritmo de Construcción de
| Conflictos en Un Analizador
- sobrecarga de identificadores
- Inferencia, Declaraciones Implícitas y
- sobrecargado
- Sobrecarga, Polimorfismo e Inferencia
- static binding
- Binding Estático y Binding
- sustitución
- Patrones Árbol y Transformaciones
- sustitución árbol
- Sustitución
- syntactic token
- El Problema
- syntax token
- Listas y Opcionales
- tabla de acciones
- Construcción de las Tablas
| Construcción de las Tablas
| Las Tablas de Saltos
| Las Tablas de Saltos
- tabla de gotos
- Construcción de las Tablas
| Las Tablas de Saltos
- tabla de saltos
- Construcción de las Tablas
| Las Tablas de Saltos
- terminal sintáctico
- Listas y Opcionales
- test del pato
- Equivalencia de Expresiones de
- tipado dinámico
- Tipado Estático y Tipado
- tipado estático
- Tipado Estático y Tipado
- tipado pato
- Equivalencia de Expresiones de
- Tree Construction Time
- Tree Construction Time
- Treeregexp
- Optimización del Traductor de
| La Estructura de un
- trimming
- Parse::Yapp: Ejemplo de Uso
| El Método _Lexer
- términos
- Lenguajes Árbol y Gramáticas
| Lenguaje de los Arboles
- Unicode
- Introducción
- Unicode character
- Introducción
| Introducción
- Unicode properties
- Introducción
- unificar
- Reglas a Tener en
| Programa Árbol para la
- valores separados por comas
- Las Directivas skip y
- variables de tipo
- Inferencia, Declaraciones Implícitas y
| Sobrecarga, Polimorfismo e Inferencia
- VERSION
- Patrones Árbol y Transformaciones
- virtual binding
- Binding Estático y Binding
- yydebug
- Depuración en yapp
| Precedencia y Asociatividad
| Errores en la Construcción
| Precedencia y Asociatividad
- zero-width assertions
- Las zero-width assertions como
| Resultado de la última
- ámbito de la declaración
- Binding Estático y Binding
- ámbito dinámico
- Ámbito Dinámico
- árbol de análisis abstracto
- Lenguajes Árbol y Gramáticas
| Árbol de Análisis Abstracto
- árbol de análisis sintáctico abstracto
- Realización del AAA para
- árbol sintáctico concreto
- Conceptos Básicos para el
| Conceptos Básicos para el
- árboles
- Lenguajes Árbol y Gramáticas
| Lenguaje de los Arboles
Sig: Bibliografía
Sup: Análisis Léxico y Sintáctico
Ant: Usando Subversion
Err: Si hallas una errata ...
Casiano Rodríguez León
2013-03-05