MAF Paket zum Berechnen mit Finite State Automata
Jetzt downloaden

MAF Ranking & Zusammenfassung

MAF Stichworte

berechnen Struktur endlicher Zustand Automatische Struktur berechnen

MAF Beschreibung

Paket zum Berechnen mit Finite State Automata MAF ist eine freie und offene Quelle, die in C ++ KBMAG überarbeitet wird. 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.note: Dies sind die Binärdatei für Baujahr 46 von MAF. Mac-Benutzer können entweder die 32-Bit- oder 64-Bit-Versionen herunterladen. Die 32-Bit-Version funktioniert wahrscheinlich für Sie besser, wenn Sie mindestens 6 oder 7 GB RAM haben. Möglicherweise müssen Sie Ihre Umgebung ändern, sodass die Ausführungen libmaf.dylib korrekt lokalisieren können. Hier sind einige wichtige Merkmale von "MAF": · Kann automatische Strukturen für jede Wortbestellung berechnen · Meist kompatibel mit KBMAG, einschließlich der Lückenschnittstelle · Enthält viele Dienstprogramme für das Berechnen mit FSA · Mehr umfangreicher COSET-Systemunterstützung als KBMAG · Kann Subgroup-Präsentationen berechnen und vereinfachen Anforderungen: · Java Was ist neu in dieser Version: · Die Leistung der FSA-Minimierung wurde wesentlich verbessert, so dass der Bau großer automatischer Strukturen jetzt viel schneller ist. · Es gibt einen neuen GPCCLASS-Dienstprogramm, der eine FSA erzeugt, die das Konjugationsproblem für eine endliche Gruppe löst. · Es gibt einige neue Befehlszeilenoptionen für Automaten, die meistens mit der Verwendung von COSET-Systemen mit benannten Subgeneratoren verbunden sind, um Untergruppen des großen, aber endlichen Index zu finden.

MAF Zugehörige Software