Embedded Reber Grammar - Deterministischer Endlicher Automat
Auf dieser Seite findet sich eine Implementierung einea deterministischen endlichen Automatens.
Dieser Automat erkennt Wörter nach der Grammatik der eingebetteten Rebergrammatik.
Wie funktioniert es?
Geben Sie unten in das Eingabefeld das zu überprüfende Wort ein. (Klicken Sie auf das Fragezeichen für weitere Hilfestellungen).
Mögliche Wörter:
| Valide | Nicht valide |
|---|---|
| BPBTSSXXTVVEPE | BTSSPXSE |
| BTBPVVETE | BPBTSSSSSXXPTTVPSEPE |
| BTBPVPXVPXVPXVVETE | BTSSSE |
Dann wählen Sie eine Animationseschwindigkeit. Dann drücken Sie auf den Button "Überprüfen".
Nun können Sie die einzelnen Schritte zur Abarbeitung einmal im Graphendiagramm und einmal in der Tabelle mit den
Zustandsüberprüfungen nachvollziehen.
Die Daten zum deterministischen endlichen Automaten finden Sie unten auf der Seite im Footer.
Das Wort darf nur die Buchstaben B, E, P, S, T, V, X und keine Leerzeichen enthalten.
Es kann nur ein Wort überprüft werden.
Mit dem Schieberegler können sie die Animationsgeschwindigkeit in 3 Stufen regeln: langsam, normal, schnell.
Sie können zwischen der Graphen- und Zustandsüberführungensicht umschalten, indem Sie auf die jeweilige Überschrift unter der
Eingabemaske klicken.
-
imageGraphendiagramm
Gelb markkiert den aktiven Zustand, grün einen Übergang zum Folgezustand und rot einen Zustand ohne
Folgezustand bzw. den verwerfenden ZusandDer jeweilige Buchstabe wird dann nach Überprüfung im Zustand angezeigt.
-
view_listZustandsüberführungen
Das grün markierte Feld ist die Überführung in den akzeptierten Zustand.
Zustand Eingabe Folgezustand q0 B q1 q1 T q2 q1 P q9 q2 B q3 q3 T q4 q3 P q6 q4 S q4 q4 X q5 q5 X q6 q5 S q8 q6 T q6 q6 V q7 q7 P q5 q7 V q8 q8 E q16 q9 B q10 q10 T q11 q10 P q13 q11 S q11 q11 X q12 q12 X q13 q12 S q15 q13 T q13 q13 V q14 q14 P q12 q14 V q15 q15 E q17 q16 T q18 q17 P q18 q18 E q19