NFA Diagram Maker kostenlos — Automaten

So funktioniert’s

NFA-Diagramm-Beispiele.

Ein Tool, vier Anfragen. Alle Diagramme unten wurden tatsächlich erstellt.

Ihre Eingabe

Zeichne einen NFA über a und b, der genau die Wörter akzeptiert, die mit ab enden: q0 hat Schleifen auf a und b, q0 kann bei a nach q1 wechseln, und q1 wechselt bei b zum Endzustand q2.

Jetzt ausprobierenFüge für eine abgeschlossene Eingabe, die abgelehnt wird, einen Fehlerzustand hinzu.Ändere das Zielsuffix von ab zu ba.

Zustandsdiagramm: Wörter, die mit ab enden

Zustandsdiagramm · OMG UML 2.5.1 §14 + Harel (1987) statechart · schematex-state

Das Diagramm

Was ein NFA-Diagramm ist.

Ein NFA-Diagramm ist ein Zustandsdiagramm für einen nichtdeterministischen endlichen Automaten. Kreise stellen Zustände dar, Pfeile Übergänge, ein eingehender Pfeil markiert den Start und ein Doppelkreis einen Endzustand.

Anders als ein DFA kann ein NFA bei demselben Eingabesymbol mehrere Übergänge ausführen und ε-Übergänge verwenden, die keine Eingabe verbrauchen. Ein Wort wird akzeptiert, wenn mindestens ein möglicher Pfad in einem Endzustand endet.

Standard: OMG UML 2.5.1 §14 + Harel (1987) statechart
Engine: schematex-state
Editable: Double-click text, drag nodes
Export: SVG · PNG · PDF

Zustandsdiagramm: Was ein NFA-Diagramm ist

Für wen es gedacht ist

Wer NFA-Diagramme verwendet.

Informatikstudierende

Aufgaben zu regulären Sprachen, die zeigen, wie eine Maschine ein Suffix, Präfix oder eine Teilzeichenfolge erkennt.

Dozierende für theoretische Informatik

Kleine ε-NFA-Konstruktionen, die eine Vereinigung regulärer Ausdrücke in den Mitschriften sichtbar machen.

Entwickler von Sprachen und Parsern

Alternative Tokenpräfixe, die als Verzweigungen gezeichnet werden, bevor sie in eine Implementierung überführt werden.

So funktioniert’s

So erstellst du ein NFA-Diagramm in drei Schritten.

Beschreiben

Ein Absatz reicht für den Anfang.

“Zeichne einen NFA über a und b, der genau die Wörter akzeptiert, die mit ab enden: q0 hat Schleifen auf a und b, q0 kann bei a nach q1 wechseln, und q1 wechselt bei b zum Endzustand q2.”

Diagramm ansehen

Die passende Engine erstellt das Diagramm.

Änderungen angeben

Für jede Änderung wird eine Version gespeichert.

Füge für eine abgeschlossene Eingabe, die abgelehnt wird, einen Fehlerzustand hinzu.

V2 · DRAWN FROM V1, NOTHING RETYPED

FAQ

Häufige Fragen

Was ist ein NFA?

Ein nichtdeterministischer endlicher Automat ist eine Zustandsmaschine, die für ein Eingabesymbol mehrere mögliche Übergänge haben kann. Er akzeptiert, wenn mindestens ein Pfad durch die Maschine in einem Endzustand endet.

Wie unterscheidet sich ein NFA von einem DFA?

Ein DFA hat für jeden Zustand und jedes Eingabesymbol genau einen Folgezustand. Ein NFA kann zu mehreren Zuständen verzweigen und ε-Übergänge enthalten, aber NFAs und DFAs erkennen dieselbe Klasse regulärer Sprachen.

Was ist ein ε-Übergang?

Ein ε-Übergang wechselt den Zustand, ohne ein Zeichen der Eingabe zu verbrauchen. Er wird häufig verwendet, um beim Aufbau eines NFA aus einem regulären Ausdruck Zweige zu verbinden oder zu trennen.

Wie werden Endzustände dargestellt?

Ein End- oder Finalzustand wird als Doppelkreis dargestellt. Die Maschine akzeptiert nur, wenn ein Pfad endet, nachdem die gesamte Eingabe gelesen wurde.

Kann ich aus einem regulären Ausdruck einen NFA erstellen?

Ja. Beschreibe den Ausdruck und sein Alphabet und nenne jede Gruppierung oder Alternative, die im Zustandsdiagramm explizit dargestellt werden soll.

Ähnliche Tools