Logik und Informatik

Automaten-Simulator

Ein Arbeitsbereich für DFA, NFA, ε-NFA, Kellerautomat, Mealy, Moore und Turingmaschine: Modelle grafisch oder textuell bauen, validieren und Schritt für Schritt simulieren.

7 Maschinentypen1 Beispiele
Maschine

Deterministischer endlicher Automat

Grafischer Editor

Doppelklick auf die Zeichenfläche erstellt einen neuen Zustand. Im Kanten-Modus verbindest du zwei Zustände durch Klick auf Start- und Zielknoten.

Modus: Knoten bewegen und bearbeiten

Zeichenfläche: Doppelklick erstellt Zustand, Ziehen verschiebt Zustand, Ziehen auf freier Fläche bewegt die Ansicht.

Kante manuell erstellen: Startzustand, Zielzustand und Label setzen.

Kante hinzufügenVon->NachLabel
010101q0q1q2
Ansicht
Modell gültig

Text-Editor

Format pro Zeile: q0,0 -> q1

Ein Modell, zwei Ansichten

Wenn du hier änderst, wird der grafische Editor sofort aktualisiert.

Modellstruktur

Übergangsdefinition

Doppelklick neuer ZustandZiehen Zustand bewegenLeertaste ein SimulationsschrittR Simulation zurücksetzen
←  Alle Lerntools