MAF (Monoid Automata Factory)

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 4.0/5 - ‎1 ‎Stimmen

Eine Überarbeitung in C++ von KBMAG. Ein Paket und eine C++-Bibliothek zum Berechnen automatischer Strukturen und konfluenter Umschreibungssysteme für Gruppen- und Coset-Umschreibungssysteme sowie für die Berechnung mit Finite-State-Automaten

VERSIONSVERLAUF

  • Version files veröffentlicht auf 2010-07-24
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2010-07-24

Programmdetails