maf monoid automata factory

We have hosted the application maf monoid automata factory in order to run this application in our online workstations with Wine or directly.

Quick description about maf monoid automata factory:

A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata.

Features:

• Can compute automatic structures for any word-ordering
• Mostly compatible with KBMAG, including the GAP interface
• Includes many utilities for computing with FSA
• More extensive coset system support than KBMAG
• Can compute and simplify subgroup presentations
• Version 2 includes coset enumerator + many other new utilities
• Version 2.1 supports translation of a word-acceptor's alphabet.

Audience: Science/Research.
User interface: Command-line.
Programming Language: C++.
Categories: