Anlisis sintctico.

El anlisis sintctico es un anlisis a nivel de sentencias, y es mucho ms

complejo que el anlisis lxico. Su funcin es tomar el programa fuente en
forma de tokens, que recie del anali!ador lxico, y determina la estructura de
las sentencias del programa. Este proceso es similar a determinar la estructura
de una frase en castellano, determinando quien es el sujeto, predicado, el
vero y los complementos.
Estas estructuras se pueden representar mediante el rol de anlisis
sintctico, que explica cmo se puede derivar la cadena de entrada en la
gramtica que especifica el lenguaje. "unque en la prctica es haitual que el
rol de anlisis no llegue a construirse, se trata de una astraccin que nos
permite entender mejor todo el proceso.
#ara que sea posile construir el rol de anlisis, es necesario que la entrada
no presente errores sintcticos. En caso de que los haya, el anali!ador dee
informar de su presencia adecuadamente y, si es posile, intentar continuar el
anlisis.
Objetivos del analizador sintctico.
$omproar si el programa es sintcticamente correcto.
%enerar las estructuras de datos &roles sintcticos u otras estructuras' que
representan el programa y sirven para el anali!ador semntico y el generador de
cdigo.
En el caso de compilacin dirigida por sintaxis llamar al anali!ador semntico y al
generador de cdigo.
(eaccionar frente a los errores e intentar acotar la propagacin de los errores
&intentar evitar que un error produ!ca muchos mensajes de error'.
)acer los siguientes pasos del compilador ms independientes de la sintaxis del
lenguaje.
Anlisis ascendente.
En el "nlisis Sintctico "scendente se parte de las hojas y se intenta construir el
rol hacia arria hasta llegar al s*molo inicial de la gramtica
En un anlisis top-down un parser hacer corresponder cadenas de entrada con sus
correspondientes derivaciones i!quierdas.
Anlisis descendente.
En el "nlisis Sintctico +escendente se va recorriendo el rol sintctico desde la
ra*! hasta las hojas, llegando a generar la sentencia que se est anali!ando. ,a ra*!
representa el s*molo inicial de la gramtica.
En un anlisis bottom-up un parser hace corresponder cadenas de entrada con las
inversas de las correspondientes derivaciones derechas.