MAF (Monoid Automata Factory)

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

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

VERSION HISTORY

  • Version files posted on 2010-07-24
    Several fixes and updates
  • Version N/A posted on 2010-07-24

Program Details