Program menurut maffsa.sf.net

Pengerjaan ulang di C++ KBMAG. Pustaka paket dan C++ untuk menghitung struktur otomatis dan sistem penulisan ulang konfluen untuk sistem penulisan ulang grup dan koset, dan untuk komputasi dengan automata status terbatas