MAF 2.0.5下载地址

包装，可以计算自动结构

MAF

或半群自动机厂的再加工KBMAG在C + +。

这是一个包和C + +库，用于计算自动组和陪集重写系统的结构和融合的重写系统，为计算用有限状态自动机。

这里是“MAF”的神器出山:www.shenqi73.com一些主要特点：

路大多兼容KBMAG，包括GAP接口
路包括许多工具，用于计算与FSA
路更广泛的的陪集系统比KBMAG的支持
路可以计算和简化分组简报
路第2版包括陪集枚举器+其他许多新的应用程序