Programy według maffsa.sf.net

Przeróbka w języku C++ kbmag. Pakiet i biblioteka C++ do obliczania automatycznych struktur i systemu przepisywania konfludów dla systemów przepisywania grup i cosetów oraz do przetwarzania z skończoną automatą stanu