Anlisis Sintctico Se encarga de chequear el texto de entrada en base a una gramtica dada.

Y en caso de que el programa de entrada sea vlido, suministra el rbol sintctico que lo reconoce.

En teora, se supone que la salida del analizador sintctico es alguna representacin del rbol sintctico que reconoce la secuencia de tokens suministrada por el analizador lxico.

En la prctica, el analizador sintctico tambin hace: Acceder a la tabla de smbolos (para hacer parte del trabajo del analizador semntico). Chequeo de tipos (del analizador semntico). Generar cdigo intermedio. Generar errores cuando se producen. En definitiva, realiza casi todas las operaciones de la compilacin. Este mtodo de trabajo da lugar a los mtodos de compilacin dirigidos por sintaxis.

GLC (Gramticas y Lenguajes libres de Contexto) Es un conjunto finito de variables, cada una de las cuales representa un lenguaje. Los lenguajes representados por las variables se describen recursivamente en trminos de otros lenguajes o de smbolos primitivos llamados terminales. Las reglas que describen el lenguaje asociado con cada variable se llaman producciones. Se denota por: 4-TUPLA G= (V, T, P, S) donde V y T son conjuntos finitos de variables y terminales. V y T son disjuntos, P es un conjunto finito de producciones cada produccin es de la forma A--> donde A es una variable y es una cadena de smbolos en (V U T)*.S es una variable especial llamada el smbolo de inicio