MAF (Monoid Automata Factory)-开源

【文件属性】：

文件名称：MAF (Monoid Automata Factory)-开源

文件大小：1.26MB

文件格式：ZIP

更新时间：2024-05-18 05:41:14

开源软件

KBMAG的C ++中的重做。 一个软件包和C ++库，用于计算自动结构和合写重写系统，用于组和陪集重写系统，以及用于使用有限状态自动机进行计算