Kellerzeichen anstatt löschen gleich überschreiben?

Question

Zusätzlich hätte ich noch eine Frage zu folgendem delta:

(s0, Y, k0) -> (sE, k0)

(s0, 1, k0) -> (s0, b)

(s0, 1, b)  -> (s0, bb)

(s0, 1, 1) ->  (s0, b1)

(s0, 1, 0) ->  (s0, 1)*

(s0, 0, k0) -> (s0, 0)

(s0, 0, 0) -> (s0, 00)

(s0, 0, b) -> (s0, 1)*

(s0, 0, 1) -> (s0, Y)

Darf bei den mit "*" markierten Übergängen, das letzte Kellerzeichen anstatt nur gelöscht, gleich überschrieben werden oder ist dazu ein zusätzlicher Zustand nötig, der dann nachdem das Zeichen gelöscht wurde mit einem lambda-Übergang das neue Zeichen in den Keller schreibt?

Answer 1

ja, das darfst du ohne weiteres.

Beste Grüße

Fabian (Tutor)