Código fuente del TP de TLA. Crear un compilador JAVA.