Índice de Materias

Práctica: Números de Línea,

Abigail

abstract syntax tree

acciones de desplazamiento

Esquemas de Traducción | Conceptos Básicos para el

acciones semánticas

acciones shift

acción de reducción

Ante que Terminales se

acción en medio de la regla

Acciones en Medio de

alfabeto con función de aridad

algoritmo de construcción del subconjunto

antiderivación

análisis de ámbito

aplicación parcial

AST

Esquemas de Traducción | Conceptos Básicos para el

atributo heredado

atributo sintetizado

Esquemas de Traducción | Conceptos Básicos para el

atributo ámbito

atributos de los símbolos

Las Acciones en eyapp

atributos heredados

Manejo en eyapp de

autómata finito determinista

autómata árbol

Basic Multilingual Plane

Práctica: Optimización Peephole

bloque básico

BMP

can

casa con la sustitución

casa con un árbol

casamiento de árboles

clase

clausura

code points

Introducción | Introducción

combining character sequence

Expresiones de Tipo, Sistemas

compilador cruzado

Optimización de Código

comprobador de tipos

conflicto de desplazamiento-reducción

Conflictos en Un Analizador | Precedencia y Asociatividad

conflicto reduce-reduce

Conflictos en Un Analizador | Precedencia y Asociatividad

conflicto shift-reduce

Conflictos en Un Analizador | Precedencia y Asociatividad

conversiones de tipo

Conversión de Tipos

currying

Construcción de las Declaraciones

DAG

declaración

declaración global

declaración local

definición dirigida por la sintáxis

Acciones en Medio de

deriva en un paso en el árbol

DFA

Construcción de las Declaraciones

Directed Acyclic Graph

Document Type Definition

Práctica: Un lenguaje para

documento aqui

Concatenación y Documentos HERE

DTD

Práctica: Un lenguaje para

duck typing

dynamic binding

Débilmente Tipado

Tipado Fuerte y Tipado

early 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

equivalencia de tipos

¿Que es una declaración?

equivalencia de tipos estructural

equivalencia de tipos nominal

equivalencia por nombres

esquema de traducción

Programa Principal: usando la | Esquemas de Traducción | Conceptos Básicos para el | Manejo en eyapp de

esquema de traducción árbol

¿Que es una declaración? | Expresiones de Tipo, Sistemas

expresiones de tipo

expresiones regulares lineales

Modificación de la Semántica

expresión de tipo

Inferencia, Declaraciones Implícitas y | Sobrecarga, Polimorfismo e Inferencia

Extreme Programming

Principios Básicos del Desarrollo

Fuertemente Tipado

Tipado Fuerte y Tipado

función de aridad

función de transición del autómata

Clausura de un Conjunto

goto

Construcción de las Declaraciones

grafo dirigido acíclico

gramática es recursiva por la izquierda

Recursión por la Izquierda

gramática árbol regular

handle

Concatenación y Documentos HERE

hashed consing

hnew

here document

identificación de los nombres

Sobrecarga, Polimorfismo e Inferencia | Análisis de Tipos de

inferencia de tipos

isa

Las Tablas Construidas por

items núcleo

LALR

Las Tablas Construidas por

late binding

lenguaje objeto

lenguaje árbol generado por una gramática

lenguaje árbol homogéneo

Realización del AAA para | Realización del AAA para

Lisp

hnew

lista de no terminales

LL(1)

Gramáticas LL(1)

local

LR

El Método Parse::Eyapp::Scope->new

manejador de ámbito

mango

memoization

hnew

metalenguaje

metaprogramas

Debugging grammar creation

miscreant grammar

modo byte

Operadores, STDOUT y Unicode

modo carácter

Operadores, STDOUT y Unicode

máximo factor común

Ejercicio: Factores Comunes

método

método abstracto

Práctica: Plegado de las

name binding

NFA

El Método Parse::Eyapp::Scope->new

nodo ámbito

nodos de uso

El Método Parse::Eyapp::Scope->new

nombre

normalización del árbol

Mostrando el Resultado del

notación dolar

La opción alias de

notación punto

La opción alias de

notas a pie de árbol

objeto

OCaml

ocultar la visibilidad

Visibilidad

opciones de línea

Opción de perl -i

Opción de perl -n

Opción de perl -p

operaciones de bypass

Bypass Automático

operación de bypass

Bypass Automático

patrones árbol

patrón

patrón de entrada

patrón lineal

patrón árbol

Peephole optimization

Optimización de Código

perfilado

Práctica: Pruebas en el

planes

polimorfa

polimorfismo

Polimorfismo Ad-hoc

polimorfismo paramétrico

polimorfo

postponed regular subexpression

Caveats

precomposed characters

Los conjuntos de Primeros

Primeros

profiler

Práctica: Pruebas en el

profiling

Práctica: Pruebas en el

programación genérica

Eliminación de la Recursión

Práctica

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
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 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
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 lenguaje para Componer Invitaciones: Práctica: Un lenguaje para

recursiva por la derecha

recursiva por la izquierda

Recursión por la Izquierda

reducción-reducción

Conflictos en Un Analizador | Precedencia y Asociatividad

reflexividad

regla de producción unaria

Bypass Automático

reglas de transformación

reglas de visibilidad

Visibilidad

reglas de ámbito

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

rightmost derivation

scope

Los conjuntos de Primeros

siguientes

sistema de tipos

Expresiones de Tipo, Sistemas

SLR

Las Tablas de Saltos | Algoritmo de Construcción de | Conflictos en Un Analizador

sobrecarga de identificadores

Inferencia, Declaraciones Implícitas y

sobrecargado

static binding

sustitución

syntactic token

El Problema

tabla de acciones

Las Tablas de Saltos | Las Tablas de Saltos

tabla de gotos

tabla de saltos

test del pato

tipado dinámico

tipado estático

tipado pato

trimming

El Método _Lexer

términos

Unicode

Unicode character

Introducción | Introducción

Unicode properties

Inferencia, Declaraciones Implícitas y | Sobrecarga, Polimorfismo e Inferencia

unificar

Reglas a Tener en | Programa Árbol para la

variables de tipo

VERSION

virtual binding

Errores en la Construcción | Precedencia y Asociatividad

yydebug

zero-width assertions

Las zero-width assertions como | Resultado de la última

ámbito de la declaración

ámbito dinámico

Ámbito Dinámico

árbol de análisis abstracto

árbol de análisis sintáctico abstracto

Conceptos Básicos para el | Conceptos Básicos para el

árbol sintáctico concreto

árboles