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
Categories
MathematicsLicense
GNU General Public License version 3.0 (GPLv3)Follow MAF (Monoid Automata Factory)
You Might Also Like
Monitor your whole IT Infrastructure
Caters to tech staff, system Administrators, and companies of any size, from small and medium sized businesses to enterprises that need their IT network to be reliable and easy to monitor in real-time. Equipped with an easy-to-use, intuitive interface with a cutting-edge monitoring engine. PRTG optimizes connections and workloads as well as reducing operational costs by avoiding outages while saving time and controlling service level agreements (SLAs).
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MAF (Monoid Automata Factory)!