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.

Project Samples

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 3.0 (GPLv3)

Follow MAF (Monoid Automata Factory)

MAF (Monoid Automata Factory) Web Site

Other Useful Business Software
Earn up to 16% annual interest with Nexo. Icon
Earn up to 16% annual interest with Nexo.

More flexibility. More control.

Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of MAF (Monoid Automata Factory)!

Additional Project Details

Intended Audience

Science/Research

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Mathematics Software

Registered

2009-09-16