MAF Package that can compute automatic structures
Download

MAF Ranking & Summary

MAF Tags

structure Automata Compute covariance KBMAG reworking automatic structure C++ rewriting KBMAG

MAF Description

MAF or Monoid Automata Factory is a reworking of KBMAG in C++. It is 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. Main features: 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

MAF Related Software