MAF

-Paket, das automatische Strukturen berechnen kann
Jetzt downloaden

MAF Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Name des Herausgebers:
  • Alun Williams
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 818 KB

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

Erholt

-Programm, mit dem Sie MSI-Dateien erstellen und bearbeiten können. ...

238 4.4 MB

Herunterladen