Automatensimulator

Ein Übergang pro Zeile, z. B. q0,0,q0 oder q0 -0-> q0 oder q0 0 -> q1. NFA-Ziele dürfen mehrere sein, geschrieben {q1,q2} oder q1|q2; Epsilon als e, eps, epsilon, ε oder @.
Maschinentyp:   Eingabeformat:   Startzustand:   Akzeptierende Zustände:
Testzeichenkette:   Zu testende Zeichenketten:   Alphabet:   Max. Länge:
Verlauf:   Übergangstabelle:   :   Trennzeichen:
Rechenergebnis CSV laden
Nr. Ergebnis Zustand Details

Vorstellung des Tools und Bedienung

Unterstützt Komma- und Pfeilnotation sowie mehrere NFA-Ziele.
Zeigt erreichbare und nicht erreichbare Zustände und simuliert Testwörter Schritt für Schritt.

So geht's

  1. Übergänge eingeben.
  2. Start- und Endzustände setzen.
  3. Testwörter laufen lassen und Verlauf prüfen.
0/200

  • Noch hat niemand geschrieben – magst du anfangen?