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

The input file that automata processed Output from MAF using the automata program

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
Go from Code to Production URL in Seconds Icon
Go from Code to Production URL in Seconds

Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Start Free
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
Report inappropriate content