Analizador Sintáctico Descendente

1. Analizador Sintáctico Descendente

2. Analizador Sintáctico LL(1) • Tipo de analizador sintáctico predictivo • Se considera como un intento por encontrar una derivación por la izquierda para una cadena de entrada • Intento de construir un árbol desde la raíz, y creando los nodos del árbol en orden previo

3. LL(1) y las gramaticas • Un analizador sintactico LL(1) no puede resolver gramaticas recursivas por la izquierda • Estas pueden hacer que inicie un proceso recursivo infinito • Estos analizadores resultan ser los mas simples pero los menos potentes

4. Primero y Siguiente • Las funciones primero y siguiente permiten rellenar, siempre que sea posible, las entradas de una tabla de análisis sintáctico predictivo para una gramática • También se usan los componentes devueltos por la función Siguiente para sincronizar la recuperación de errores en modo de pánico

5. Primero • Si x es una cadena de símbolos gramaticales, se considera PRIMERO(x) como el conjunto de terminales que inician las cadenas derivadas de x. • Si x->e entonces e tambien esta en Primero(x)

6. Siguiente • Se define Siguiente(A) como el conjunto de terminales a que pueden aparecer inmediatamente a la derecha de A en alguna forma de frace • El conjunto de terminales de a tal que haya una derivación de la forma S->xaAaB para algun x y B.

7. Siguiente (cont) • En algún momento de la derivación pudieron haber existido símbolos entre A y a, pero si así fue, se derivaron a e(epsilon) • Si A puede ser el símbolo situado mas a la derecha en una forma de frase, entonces $ esta en SIGUIENTE(A).