MAF Ranking & Zusammenfassung
- Name des Herausgebers:
- Alun Williams
- Betriebssysteme:
- Windows All
MAF Stichworte
MAF Beschreibung
Das Fabrik von MAF oder Monoid Automata ist eine Überarbeitung von KBMAG in C ++. Es ist eine Paket- und C ++ - Bibliothek zum Berechnen der automatischen Strukturen und des konfluenten Umschreibungssystems für Gruppen- und Coset-Umschreibungssysteme sowie zum Berechnen mit Finite State Automata. Haupteigenschaften: Meist kompatibel mit KBMAG, einschließlich der Lückenschnittstelle enthält viele Dienstprogramme für das Berechnen mit FSA mehr umfangreicher COOSET-Systemunterstützung als KBMAG kann Subgroup-Präsentationen korrigieren und vereinfachen Version 2 enthält COUNT-Enumerator + viele andere neue Dienstprogramme
MAF Zugehörige Software