 | ma maパッケージ |
| 今すぐダウンロード | |
ma ma ランキングとまとめ
広告
ma ma タグ
ma ma 説明
MAFまたはMonoid Automata Factoryは、C ++のKBMAGの再旋回です。 グループおよびCoSetの書き換えシステムのための自動構造とコンフルエントな書き換えシステムを計算するためのパッケージとC ++ライブラリー、および有限状態オートマトンのコンピューティングです。 主な特徴： は、GAPインタフェースを含むKBMAGとほとんど互換性があります FSAでコンピューティングするための多くのユーティリティが含まれています KBMAGよりも広範囲のコセトシステムのサポート サブグループプレゼンテーションを計算し簡素化できます バージョン2には、Coset Enumeratorが含まれています+他の多くの新しいユーティリティ
ma ma 関連ソフトウェア
