Análisis sintáctico descendente, ascendente, Notacio LL(k)


Análisis sintáctico descendente
Se construye el árbol de análisis sintáctico partiendo de la raíz hacia las hojas
Se estudia los siguientes tokens a analizar para decidir la regla a expandirLookahead: Nº de tokens necesario para realizar la elección de la regla a expandir
Gramáticas LL(1): con Lookahead = 1



Análisis ascendente
Se construye el árbol de análisis sintáctico partiendo de lashojas hacia la raíz
Cuando se obtiene la parte derecha de una regla, se sustituye por su símbolo no terminal
Si se analiza la derivación del árbol de análisis sintáctico en orden inverso se obtieneuna derivación a la derecha
Gramáticas LR












Notacio LL(k)
Un analizador LL es llamado un analizador LL (k) si usa un numero k de tokens cuando el analizador va hacia delante de la sentencia.Si existe tal analizador para cierta gramática y puede analizar sentencias de esta gramática sin marcha atrás, entonces es llamada una gramática LL (k). De estas gramáticas, la gramática LL(1), aunquees bastante restrictiva, éstas son muy populares porque los analizadores LL correspondientes sólo necesita ver el siguiente token para hacer el análisis de sus decisiones. Lenguajes mal diseñadosusualmente suelen tener gramáticas con un alto nivel de k, y requieren un esfuerzo considerable a analizar.
Existe controversia entre la escuela europea del diseño del lenguaje, quien prefiere gramáticabasada en LL, y los otros países prefieren predominantemente gramática basada en LR. Esto se debe en gran parte a la influencia de Niklaus Wirth en la ETH Zürich en Suiza, cuya investigación hadescrito una serie de maneras de optimizar lenguajes y compiladores LL(1).

BNF
BNF es una metasintaxis utilizada para definir gramáticas BFN y sus extensiones son ampliamente utilizadas para definirgramáticas de lenguajes de programación. En BNF, símbolos no terminales se definen entre ángulos (<>) y producciones se definen utilizando el símbolo ::=.




EBNF
EBNF introduce el uso de paréntesis...