maf monoid automata factory to run in windows online over linux online

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

Quick description about maf monoid automata factory to run in windows online over linux online:

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++.

.