El documento describe los tipos de análisis sintáctico, incluyendo análisis descendente y ascendente. También discute los tipos de errores sintácticos, léxicos, semánticos y lógicos. Finalmente, explica cómo eliminar ambigüedades y recursividad izquierda para permitir análisis sintáctico descendente LL(1).

1. PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR SEDE IBARRA
Nombre: Carlos Brusil
Escuela: Ingeniería
Materia: Compiladores
Tema: Análisis sintáctico
1.- Las funciones que cumple el analizador sintáctico.
En el modelo del compilador, el analizador sintáctico obtiene una cadena de componentes
léxicos del analizador léxico, y comprueba si la cadena puede ser generada por la
gramática del programa fuente.
Esta iteración se esquematiza como sigue:
Existen 2 tipos generales de analizadores sintácticos para gramáticas:
a) Análisis sintáctico descendente. Construye árboles de análisis sintáctico desde arriba
(raíz) hacia abajo (hojas). El análisis se realiza de lo general a lo particular.
b) Análisis sintáctico ascendente. Construyen árboles de análisis sintáctico comenzando
en las hojas y suben hacia la raíz. El análisis se realiza de lo particular a lo general.
2.- Tipos de errores sintácticos
7.1 Tipos de Errores
¢ Léxicos
¢ Sintácticos
¢ Semánticos
¢ Lógicos
Errores léxicos
Los errores léxicos se detectan cuando el analizador léxico intenta reconocer
componentes léxicos en el código fuente.
Errores sintácticos
Un error de sintaxis se detecta cuando el analizador sintáctico espera un símbolo que no
corresponde al que se acaba de leer. Los analizadores sintácticos LL y LR tienen la
ventaja de que pueden detectar errores sintácticos lo más pronto posible, es decir, se
genera un mensaje de error en cuanto el símbolo analizado no sigue la secuencia de los
símbolos analizados hasta ese momento.
Error semántico
Los errores semánticos corresponden a la semántica del lenguaje de programación, la cual
normalmente no está descrita por la gramática. Los errores semánticos más comunes son
la omisión de declaraciones.

2. Errores Lógicos
Los comete el programador
Ejemplo: una llamada infinitamente recursiva
Tipos de gramática que acepta un analizador sintáctico.
Árbol sintáctico de una sentencia de lenguaje.

3. Análisis descendente con retroceso
El método parte del axioma inicial y aplica todas las posibles reglas al no terminal más a
la izquierda.
• Se usa el retroceso para resolver la incertidumbre.
• Sencillo de implementar.
• Muy eficiente.
Ejemplo:
Análisis descendente con recursión. Diagramas de Conway

4. Análisis descendente de gramáticas LL(1)
Es del tipo LL1 porque empezamos a derivando por la izquierda, y los carácteres son
leidos de izquierda a derecha, el 1 por que se lee 1 solo elemento de entrada.

5. También se puede considerar como un intento de construir un árbol de análisis
sintáctico para la entrada comenzando desde la raíz y creando los nodos del árbol en
orden previa.
Bueno primeramente para trabajar el análisis sintáctico descendente se debe realizar
primeramente algunas operaciones para que la gramática sea LL1 las cuales son:
– Eliminar Ambiguedad
– Eliminar Recursividad por la Izquierda
– Factorizar
– Primeros y siguientes
 Ambigüedad
Una gramática es ambigua cuando genera más de un árbol de derivación.
Para eliminar la ambigüedad se debe reescribir la gramática.
Ejemplo:
 Recursividad por la Izquierda
Una gramática es recursiva por la izquierda si tiene un no Terminal A tal que existe una
derivación A->Aα para alguna cadena . Es decir por simple observación podemos
identificar.
Para eliminar la recursividad por la izquierda se utiliza la siguiente formula.

6. Ejemplo:
Gramática Recursiva
Análisis Ascendente con retroceso
Al igual que ocurría con el caso descendente, este tipo de análisis intenta probar todas las
posibles operaciones (reducciones y desplazamientos) mediante un método de fuerza
bruta, hasta llegar al árbol sintáctico, o bien agotar todas las opciones, en cuyo caso la
cadena se rechaza.
En el análisis con retroceso no se permiten las reglas ԑ, puesto que estas se podrán aplicar
de forma indefinida.