Programa que permite analizar una gramática a través de un lenguaje que permite escribir una secuencia de expresiones lógicas, relacionales y aritméticas que se proporcionan mediante un archivo de texto.