El objetivo del programa debe es determinar si una palabra ingresada por teclado, pertenece o no, a un lenguaje generado por una gramática ingresada al aplicativo, visualizando cuatro elementos particulares:
- El árbol de derivación particular de la palabra solicitada en formato horizontal
- El árbol de derivación general de la gramática
- La relación de pertenencia o no pertenencia de la palabra con respecto al lenguaje.
- Un motor lógico de procesamiento de datos y una interfaz gráfica que permita evidenciar los resultados obtenidos