alternative Lösung

Question

könnte man zusätzlich zu den Zustandsübergängen der Musterlösung die folgenden beiden einfügen und dann sagen, dass nur s0 ein Endzustand ist?

(s1, lambda, a) => (s0, a)         Fall1: Anzahl a's & b's > c's & d's

(s1, lambda, k0) => (s0, k0)     Fall 2: Anzahl a's & b's = c's & d's

wäre dies dann ein richtiger Kellerautomat? Wenn nicht, wo liegt der Fehler?

Vielen Dank

Answer 1

Hallo,

in der Aufgabe wird nach einem deterministischen Kellerautomaten gefragt.
Da bereits ein Übergang (s1, c, a) -> (s1, lambda) existiert, dürfen Sie keine Lambdaübergänge verwenden.