Chương trình theo maffsa.sf.net

Làm lại trong C++ của KBMAG. Một gói và thư viện C++ để tính toán cấu trúc tự động và hệ thống viết lại hợp lưu cho các hệ thống viết lại nhóm và coset, và để tính toán với automata trạng thái hữu hạn