Se trata de desarrollar un programa capaz de leer código de uno cualquiera de los principales sistemas de cálculo simbólico: Maple, Mathematica, Maxima, etc... y convertirlo a la sintaxis de cualquier otro de ellos. La gramática básica de los lenguajes de cálculo simbólico es relativamente sencilla: incluye la gramática de expresiones algebraicas y la notación funcional. Pero la sintaxis y el nombre de las funciones es distinta para cada uno de los diferentes programas. Poder convertir un archivo escrito en una sintaxis a otra podría ser una herramienta interesante para los usuarios de este tipo de programas.

Palabras clave:
* Lenguajes y gramáticas.
* Analizadores léxicos y sintácticos.
* Compiladores.
* Cálculo simbólico.