Mealy, Moore und DFA grafisch erstellen: Zustände ziehen, Übergänge verbinden, Tabelle live synchron. Mit Simulator, Validierung und Export als JSON, SVG, PNG und LaTeX.
q1 (Mealy: q1/0). Leere Zelle = kein Übergang.
Zustand erstellen: Doppelklick auf leere Canvas oder Werkzeug „Zustand" → klicken.
Übergang erstellen: Werkzeug „Verbinden" → Quelle, dann Ziel klicken. Alternativ Shift + Drag.
Bearbeiten: Doppelklick auf Zustand oder Übergangs-Label öffnet Editor.
Löschen: Element auswählen, dann Entf. Oder Rechtsklick.
Verschieben: Zustand mit Maus ziehen. Pan: Leertaste + Drag oder Mittelklick-Drag.
Zoom: Mausrad oder Buttons unten rechts.
Startzustand: Zustand-Rechtsklick → „Als Start" oder in Zustands-Liste.
Akzeptierend (DFA): Rechtsklick → „Akzeptierend" (Doppelkreis).
Ausgabe (Moore): Doppelklick auf Zustand → Ausgabe-Feld.
Mealy-Syntax: Übergangs-Label = Eingabe/Ausgabe (z. B. 1/0). Mehrere Symbole pro Kante mit Komma: 0,1/1.
Tabelle ↔ Graph: Beide Richtungen live synchron – tippst du in der Tabelle, ändert sich der Graph und umgekehrt.
Tastatur:
Strg+Z Undo · Strg+Y Redo · Entf löschen ·
N Zustand · E Verbinden · V Auswählen ·
F Vollbild · Strg+S Export
Wähle einen klassischen Automaten als Startpunkt – ersetzt den aktuellen Automaten.
JSON-Definition einfügen oder Datei wählen – ersetzt den aktuellen Automaten.