Programma's van maffsa.sf.net

Een herwerking in C++ van KBMAG. Een pakket en C++ bibliotheek voor het berekenen van automatische structuren en confluent herschrijven systeem voor groep en coset herschrijven systemen, en voor computing met eindige staat au