Embedded Reber Grammar - Turingmaschine
Auf dieser Seite findet sich eine Implementierung einer Turingmaschine.
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 zur Turingmaschine 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. Das rot markierte Feld ist die Überführung in den verwerfenden Zustand.
Zustand Eingabe Folgezustand Geschriebenes Zeichen Richtung q0 B q1 blank R q1 T q2 T R q1 P q2 P R q2 B q3 blank R q3 T q4 blank R q3 P q6 blank R q4 S q4 blank R q4 X q5 blank R q5 X q6 blank R q5 S q8 blank R q6 T q6 blank R q6 V q7 blank R q7 P q5 blank R q7 V q8 blank R q8 E q9 blank R q9 T q10 T R q9 P q10 P R q10 E q11 blank R q11 blank q11 blank L q11 T q12 blank L q11 P q13 blank L q12 blank q12 blank L q12 T q15 blank H q12 P q14 blank H q13 blank q13 blank L q13 P q15 blank H q13 T q14 blank H