Gonzlez, Nicols Teora de la Computacin

ANALIZADORES SINTCTICOS Un analizador sintctico (parser) es un programa que reconoce si una o varias cadenas de caracteres forman parte de un determinado lenguaje. Los lenguajes habitualmente reconocidos por los analizadores sintcticos son los lenguajes libres de contexto. Existe una justificacin formal que establece que estos lenguajes son reconocibles por un autmata de pila, de modo que todo analizador sintctico que reconozca un lenguaje libre de contexto es equivalente en capacidad computacional a un autmata de pila. Los analizadores sintcticos fueron extensivamente estudiados durante los aos 70 del siglo XX; este estudio permiti detectar numerosos patrones de funcionamiento en ellos, lo que posibilit la creacin de programas generadores de analizadores sintcticos a partir de una especificacin de la sintaxis del lenguaje, tales y como yacc, GNU bison y JavaCC. Para ciertas clases de gramticas se puede construir automticamente un analizador sintctico, que determina si un programa est bien construido. Adems, el proceso de construccin del analizador sintctico puede revelar ambigedades sintcticas y otras dificultades para la construccin del parser que de otra forma no sern detectadas en la fase de diseo inicial de un lenguaje y que podran ser arrastradas al compilador. Funciones del Analizador Sintctico
Comprobar si la cadena de tokens (secuencia de componentes lxicos),

comprobada por el analizador lxico puede ser generada por la gramtica que define el lenguaje fuente (gramtica libre de contexto). Construir el rbol de anlisis sintctico que define la estructura jerrquica de un programa y obtener la serie de derivaciones para generar la cadena de tokens. El rbol sintctico se utilizar como representacin intermedia en la generacin de cdigo. Informar los errores de forma precisa y significativa. Deber estar dotado de un mecanismo de recuperacin de errores para continuar con el anlisis.

Interfaces del analizador sintctico