Analizadores Descendentes Recursivos
Apuntes sobre Analizadores Descendentes Recursivos
- Apuntes de PL: Analizadores Descendentes Predictivos en JavaScript
- Apuntes de PL de la II. Derivaciones a vacio
- Construcción de los FIRST y los FOLLOW
- repo prdcalc
- Este es un repo en con una aplicación web en Ruby Sinatra con un parser RDP escrito en CoffeeScript
- Fichero
main.coffee
del repo prdcalc - Fichero
main.js
del repo prdcalc - Despliegue en Heroku (Puede estar caído o eliminado)
- Repo ULL-ESIT-PL-1617/solution-evalua-pdr (privado)
Enlaces a los Apuntes de PL en la II (en nereida) sobre Análisis Sintáctico Predictivo Recursivo (En Perl)
La siguiente fase en la construcción del analizador es la fase de análisis sintáctico. Esta toma como entrada el flujo de terminales y construye como salida el árbol de análisis sintáctico abstracto.
El árbol de análisis sintáctico abstracto es una representación compactada del árbol de análisis sintáctico concreto que contiene la misma información que éste.
Existen diferentes métodos de análisis sintáctico. La mayoría caen en una de dos categorías: ascendentes y descendentes. Los ascendentes construyen el árbol desde las hojas hacia la raíz. Los descendentes lo hacen en modo inverso. El que describiremos aqui es uno de los mas sencillos: se denomina método de análisis predictivo descendente recursivo.
- Introducción
- Ejercicio: Recorrido del árbol en un ADPR
- Ejercicio: Factores Comunes
- Derivaciones a vacío
- Construcción de los conjuntos de Primeros y Siguientes
- Ejercicio: Construir los FIRST
- Ejercicio: Calcular los FOLLOW
- Práctica: Construcción de los FIRST y los FOLLOW
- Gramáticas LL(1)
- Ejercicio: Caracterización de una gramática LL(1)
- Ejercicio: Ambiguedad y LL(1)
- Práctica: Un analizador APDR
- Práctica: Generación Automática de Analizadores Predictivos
Repo con la solución de la Práctica: Analizador Descendente Predictivo Recursivo
Recuerde que una gramática es una cuaterna .
- es el conjunto de terminales.
- es un conjunto (disjunto de ) que se denomina conjunto de variables sintácticas o categorías gramáticales,
- es un conjunto de pares de . En vez de escribir un par usando la notación se escribe . Un elemento de se denomina producción.
- Por último, es un símbolo del conjunto que se denomina símbolo de arranque.
Dada una gramática se denota por o lenguaje generado por al lenguaje:
Esto es, el lenguaje generado por la gramática esta formado por las cadenas de terminales que pueden ser derivados desde el símbolo de arranque.
Esta es la gramática para nuestra práctica:
- ,
Productions:
- statements statement ';' statements statement
- statement ID '=' expression P expression
- expression term '+' expression term
- term factor '*' term factor
- factor '(' expression ')' ID NUM
Start symbol:
Descripción de la Práctica: Analizador Descendente Predictivo Recursivo
- Repo parser-pdr-example
- despliegue en Heroku (Puede estar caído o eliminado)