Alternativlösung?

Question

Wäre folgender KA auch korrekt:
F={se}

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

(s1,b,b) -> (s0, \lambda)

(s0,a,k0) -> (s2,a k0)

(s2,a,a) -> (s2, \lambda)

(s2,b,k0) -> (se,k0)

Vielen Dank

 

Answer 1

Hallo,

das müsste stimmen, denn der einzige Unterschied zu der Musterlösung besteht darin, dass du den Keller mitbenutzst.

Viele Grüße,

Vivian (Tutor)

P.S. Im Übrigen muss dein Keller am Ende nicht unbedingt leer sein (d.h. du könntest auch (s2,b,k0)->(se,bk0) definieren), Hauptsache man kommt am Ende des Wortes in einen Endzustand. Aber das ist nur eine kleine Randbemerkung :)