CMSimulator

Die CMSimulator-App hilft Ihnen, vier der bekanntesten Zählermaschinen besser zu verstehen - Finite State Automaton, Pushdown-Automaton, Linear Bounded Automaton, Turing-Maschine. Sie können neue Dateien erstellen oder vorhandene Dateien aus Dateien laden. Die Anwendung enthält auch Beispiele (für jeden Maschinentyp).

Darüber hinaus hilft Ihnen die Anwendung auch, vier Arten formaler Grammatiken aus der Chomsky-Hierarchie besser zu verstehen: reguläre Grammatik, kontextfreie Grammatik, kontextsensitive Grammatik, uneingeschränkte Grammatik. Sie können neue Dateien erstellen oder vorhandene Dateien aus Dateien laden. Die Anwendung enthält auch Beispiele.

Sie können eine Liste mit Symbolen, Zuständen und Übergangsregeln erstellen sowie den Anfangs- und Endzustand auswählen. Anschließend können Sie das Band auffüllen und die Lösung Schritt für Schritt simulieren oder direkt zum Ende der Simulation gehen. Sie können auch ein beliebiges Bandelement als Haltepunkt markieren, um die Simulation anzuhalten, wenn die Maschine diesen Haltepunkt erreicht.

Nichtdeterministische Maschinen und Lösungen werden ebenfalls unterstützt.

Sie können Ihre eigene Grammatik definieren, Wörter testen, wenn sie zur definierten Grammatik gehören, und den Ableitungsprozess mit vier verschiedenen Arten von Visualisierungen visualisieren - Ableitungstabelle, Ableitungsbaum, Lineare Ableitung, Feste Ableitung. Die Anwendung enthält auch eine interaktive Funktion, mit der Sie mehrere Wörter gleichzeitig testen können.

Die Anwendung befindet sich noch in der Entwicklung. Bitte lassen Sie mich wissen, wenn Sie Fehler finden.