Alternativlösung richtig?

Question

Wäre folgende Lösung richtig?

Endzustand F = {se}
(s0, b, k0) -> (s1, bk0)
(s1, b, b) -> (s0, Lambda)
(s0, a, k0) -> (s0, ak0)
(s0, a, a ) -> (s2, Lambda)
(s2, b, k0) -> (se, k0)

 

Answer 1

Ja, sieht für mich erstmal sehr gut aus;)

Gute Idee die Zuständemenge mit Zeichenlesen zu reduzieren.

liebe Grüße 

Bastian (Tutor)

 

Answer 2

Das ist so auch richtig, jedoch könnten Sie (wenn Sie den Keller benutzen wollen, vgl. Hinweis in der Lösung), sogar noch den Zustand s1 sparen, da Sie jetzt sowohl im Zustandswechsel, als auch durch die Benutzung des Kellers die Anzahl der b's speichern. Das ist nicht notwendig (aber auch nicht falsch).

Sie könnten das dann wie folgt verkürzen:

(s0, b, k0) -> (s0, bk0)
(s0, b, b) -> (s0, Lambda)

....

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König