Automaten-Editor.
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.
δ : Q × Σ → Q
q1 (Mealy: q1/0). Leere Zelle = kein Übergang.
Q – Zustände
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
Beispiele laden
Wähle einen klassischen Automaten als Startpunkt – ersetzt den aktuellen Automaten.
Export
Import
JSON-Definition einfügen oder Datei wählen – ersetzt den aktuellen Automaten.
Wozu dient der Automaten-Editor?
Der Automaten-Editor lässt dich Mealy- und Moore-Automaten grafisch erstellen. Du legst Zustände an, verbindest sie mit beschrifteten Übergängen und definierst Ein- und Ausgaben. Parallel baut sich die Übergangstabelle live mit auf, sodass grafische Darstellung und tabellarische Sicht immer zusammenpassen. Ideal für Studium, Lehre und die Vorbereitung auf Prüfungen in Theoretischer Informatik.
Die fertigen Automaten exportierst du als JSON, SVG, PNG oder LaTeX und nutzt sie direkt in Aufgaben, Skripten oder Ausarbeitungen. So musst du Diagramme nicht mühsam von Hand zeichnen. Der gesamte Editor läuft vollständig in deinem Browser, deine Modelle werden nicht an einen Server gesendet.
Beispiele
- Ein Mealy-Automat ordnet die Ausgabe dem Übergang zu, nicht dem Zustand.
- Ein Moore-Automat definiert die Ausgabe direkt am jeweiligen Zustand.
- Du exportierst dein Diagramm als
SVGoderPNGfür Folien und Skripte. - Der LaTeX-Export liefert den Code für die direkte Einbindung in eine Ausarbeitung.
Häufige Fragen zum Automaten-Editor
Was ist der Unterschied zwischen Mealy und Moore?
Beim Mealy-Automaten hängt die Ausgabe von Zustand und Eingabe ab und steht an den Übergängen. Beim Moore-Automaten hängt die Ausgabe nur vom Zustand ab und steht an den Knoten.
In welche Formate kann ich exportieren?
Du kannst deinen Automaten als JSON, SVG, PNG und LaTeX exportieren. So passt er sowohl in Code-Projekte als auch in Folien und schriftliche Ausarbeitungen.
Aktualisiert sich die Übergangstabelle automatisch?
Ja, die Übergangstabelle baut sich live mit auf, während du Zustände und Übergänge bearbeitest. Grafik und Tabelle bleiben so stets konsistent.
Werden meine Automaten an einen Server gesendet?
Nein, der Editor läuft komplett in deinem Browser. Es werden keine Daten übertragen oder gespeichert.
Ist der Automaten-Editor kostenlos?
Ja, das Tool ist kostenlos und ohne Anmeldung nutzbar.