warum ergibt eigentlich die leere Menge und S/S' nicht wieder S?

Question

Hallo,

warum ergibt eigentlich die leere Menge und S/S' nicht wieder S?
S steht ja alleine auf der rechten Seite.
Zum Beispiel für das erste c in m=4 (Ergebnis ist nur C).
Vielen Dank!

 

Answer 1

Die leere Menge mit irgendetwas kombiniert ergibt immer die leere Menge, denn Sie brauchen in CNF ja immer zwei Symbole von einem Ableitungsschritt zum nächsten, also eines aus der einen Menge und eines aus der anderen.

Viele Grüße

Lukas König