MAF 2.0.5下载地址

点这里下载 → 下载地址
相关Tags:

MAF 2.0.5软件简介

包装,可以计算自动结构

MAF

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

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

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

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

随便看看

软件简略信息
  • 软件大小:818 KB
  • 下载次数:99
  • 更新时间:2013-03-09 12:27:00
  • 不能下载请报告错误,谢谢
本类热门软件