Letzter Schritt der Konfigurationsfolge

Question

Hallo,

mir ist leider auch nicht klar, warum der letzte Schritt fehlt. Denn für die Konfiguration (lamda, s3, acd) gibt es doch einen Übergang in der Tabelle: dann hätte man doch (a, s3, cd) . Erst jetzt gibt es doch keinen definierten Übergang mehr...?

Kann mir das nochmal jemand erklären?

Beste Grüße

Answer 1

Hallo, vielleicht hast du die Antwort auf die erneute Rückfrage schon gesehen, aber hier nochmal ein Zitat von vor 2 Jahren:

Die Konfiguration ist kommt nicht erst nach der Transition, sonst ist ein ergänzendes Element, das zu dieser Zeile gehört. Z.B. stehen wir in Zeile 1 auf dem a. Unser Zustand ist s0 und das aktuell eingelesene Zeichen a. Die aktuelle Konfiguration dazu ist (lambda, s0, a). Danach gehen wir über in den Zustand sx. In der zweiten Zeile stehen wir dann immer noch über dem a, unsere Konfiguration sieht ähnlich aus, nur dass wir uns in einem anderen Zustand befinden. Sie bezieht sich quasi immer auf die linke Seite der Transition.

Wenn wir uns jetzt noch einmal die vorletzte Zeile anschauen, sehen wir, dass wir in s3 sind und ein a einlesen. Unsere aktuelle Konfiguration ist eben jene, die rechts steht, wie du richtig gesehen hast. Danach gehen wir zwar einen Schritt nach rechts und schreiben die aktuelle Bandinschrift auch in die ganz letzte Zeile Allerdings existiert hier keine Transition mehr, weil der aktuelle Zustand nicht definiert ist und daher existiert auch keine Konfiguration. Wie oben gesagt, bezieht sich die Konfiguration auf deinen Zustand & das aktuelle Zeichen, wenn dies nicht definiert ist gibt es auch keine Konfiguration mehr.

Besonders der zweite Abschnitt ist als Antwort auf deine Frage relevant. Kurz gesagt haben wir keinen Übergang mehr, weil wir als nächstes im Zustand s3 das c einlesen würden. Dafür ist in der Tabelle kein Übergang definiert.

Hoffe das hilft!

LG,

Martin (Tutor)