DFA-Beispiele.
Ein Tool, vier Anfragen. Alle Diagramme unten wurden tatsächlich erstellt.
Was ist ein DFA?
Ein deterministischer endlicher Automat liest eine Zeichenkette Symbol für Symbol. Von jedem Zustand geht für jedes Symbol genau ein Pfeil ab. Dadurch ist der Weg eindeutig. Die Zeichenkette wird akzeptiert, wenn der Weg in einem Endzustand endet.
Als Zustandsdiagramm gezeichnet, entspricht er dem Format, das in Automatenlehre-Kursen erwartet wird: ein Startpfeil, ein Knoten pro Zustand, mit Symbolen beschriftete Übergänge und markierte Endzustände.
- Standard
- OMG UML 2.5.1 §14 + Harel (1987) statechart
- Engine
- schematex-state
- Editable
- Double-click text, drag nodes
- Export
- SVG · PNG · PDF
Wer DFAs zeichnet.
Übungen und Klausurvorbereitung: die Sprache in einem Satz, der Automat auf dem Blatt.
Übersichtliche Diagramme für Folien und Musterlösungen, die sich bei geänderten Aufgaben in Sekunden neu zeichnen lassen.
Sequenzdetektoren und Steuerungen als Mealy- oder Moore-Automaten, bevor der HDL-Code geschrieben wird.
So zeichnest du einen DFA in drei Schritten.
Beschreiben
Ein Absatz reicht für den Anfang.
Diagramm ansehen
Die passende Engine erstellt das Diagramm.
Änderungen angeben
Für jede Änderung wird eine Version gespeichert.
Häufige Fragen
Was ist ein DFA?
Ein deterministischer endlicher Automat besteht aus einer Menge von Zuständen, einem Alphabet, genau einem Übergang pro Zustand und Symbol, einem Startzustand und einer Menge von Endzuständen. Er akzeptiert eine Zeichenkette, wenn das Lesen vom Startzustand aus in einem Endzustand endet.
Was ist der Unterschied zwischen einem DFA und einem NFA?
Bei einem DFA hat jeder Zustand für jedes Symbol genau einen Übergang. Ein NFA kann mehrere oder keine Übergänge haben und auch ε-Übergänge verwenden. Er akzeptiert, wenn ein beliebiger Pfad in einem Endzustand endet. Jeder NFA lässt sich in einen äquivalenten DFA umwandeln.
Kann das Tool NFAs, Mealy- und Moore-Automaten zeichnen?
Ja. Gib an, welchen du möchtest. Bei Mealy-Automaten sind die Übergänge mit Eingabe/Ausgabe beschriftet.
Kann ich mit einer Übergangstabelle beginnen?
Ja. Füge die Tabelle ein und gib an, welcher Zustand der Startzustand ist und welche Zustände Endzustände sind.
Wie werden Start- und Endzustände dargestellt?
Der Startzustand hat einen eingehenden Pfeil von einem ausgefüllten Punkt. Jeder Endzustand ist im Diagramm entsprechend markiert.
Brauche ich ein Konto?
Ja, ein kostenloses Konto. Eine Karte ist nicht erforderlich.
Weitere Diagramme für Ihre Arbeit.
Zeichne jetzt deinen Automaten.
Kostenloses Konto, keine Karte. Beschreibe die Sprache und sieh dir das Ergebnis in weniger als einer Minute an.
Editor öffnen