Mona ein Werkzeug, das Formeln auf Finite-staatliche Automaten übersetzt
Jetzt downloaden

Mona Ranking & Zusammenfassung

Mona Stichworte

Formel Automat Endlich Zellularautomata-Viewer Mobilfunkautomaten Automatisierung Automatensynthese. Finite-State-Maschinen bauen übersetzt Finite Sets Viewer. Finite Sets anzeigen. endliche Mengen anzeigen Hedge Automata Creator. Finite Maschine erstellen. Finite State Maschine generieren Finite State Machine Creator Automatische Automatikanalyse Finite-Transformation Training Track Automata. Automatenbauer HomoMorphismus Automata. Übersetzen Sie Formel. Automaton Analyzer. endliche Automaten HodgePodge Cellular Automata. Cellular Automata Simulation. Endlicher Unterschied.

Mona Beschreibung

Mona ist ein einfaches Dienstprogramm, das erstellt wurde, um Ihnen ein schnelles Mittel zur Übersetzung von Formeln in Finite-staatliche Automaten bereitzustellen. Die Formeln können Suchmuster, zeitliche Eigenschaften reaktiver Systeme, Analysebaumeinschränkungen usw. ausdrücken. Mona analysiert das in der Kompilierung resultierende Automaton und druckt "Gültig" oder ein Gegenbeispiel.

Mona Zugehörige Software