Produktion des Testwortes: Warum (s1; [()]; k0) -> (s0; [()]; k0) Übergang?

Question

Hallo,

ich verstehe bei dieser Aufgabe nicht warum man bei der Erkennung des Testwortes diesen (s1; [()]; k0) --> (s0; [()]; k0) Übergang macht. Ich habe doch in dem Fall kein Lambda als Wort also springe ich doch nicht in den Zustand s0 oder?

Danke

Answer 1

Hallo,

ich glaube du hast da etwas grundsätzlich falsch verstanden: Lambda ist nie Teil deines Wortes, sondern es bedeutet, dass du einfach kein Zeichen einliest! Somit ist ein Zustandswechsel möglich, ohne dass ein Zeichen eingelesen werden muss.

Diesen Übergang benutzt du also, damit du wieder in den Zustand S0 gelangst. Das ist nötig, weil k0 zu diesem Zeitpunkt dein oberstes Kellerzeichen ist und du im Zustand S1 sonst nicht weiter machen kannst.

Viele Grüße

Lukas (Tutor)