Alternative Lösung 2016-H-03

Question

Hallo,

warum wird hier mit so vielen Zuständen gearbeitet? Meine Lösung wäre

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

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

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

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

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

(s0, 2, 0) -> (s0, lambda)

(s0, lambda, k0) -> (se, k0)

Endzustand ist se.

Wäre das so auch richtig oder ist es hier nicht möglich, immer im Zustand s0 zu bleiben?