alternative Lösung

Question

ist diese Lösung richtig ?

G = (N,T,P,S)

N = { A, B ,S, X, C    }

T = {a,b, c }

P :{ S -> XSC | abc | lambda,

X -> AB ,

BA -> AB,

AA -> aa,

BB -> bb ,

aA -> aa,

bB -> bB,

C -> c

}

Danke im voraus

Answer 1

Hi,

deine Grammatik ist in den Grundzügen richtig, jedoch wird in der Fragestellung eine monotone Grammatik gewünscht. (Ich gehe davon aus, dass die vorletzte Regel bB -> bb heißen sollte)

In deiner ersten Zeile überführst du S in Lambda, was gegen die Monotonie spricht. Die einzige Ausnahme, wann S auf Lambda überführt werden darf ist, wenn S auf keiner rechten Seite vorkommt. Bei dir ist das jedoch der Fall S -> XSC.

Viele Grüße

Marc