Programas por maffsa.sf.net

Una reelaboración en C++ de KBMAG. Un paquete y una biblioteca de C++ para calcular estructuras automáticas y un sistema de reescritura confluente para sistemas de reescritura de grupos y coset, y para computar con autómatas