---

Geschrieben von Lily am 07.02.2011 um 13:04:

  Grammatik angeben

Meine Frage:
Hallo, wir sollen eine Grammatik G angeben, so daß die erzeugte Sprache
L(G) = { w ? [0,9]* | dec(w) % 3 = 0} ist. dec:[0,9]* -> N interpretiert ein Wort als natürliche Zahl, z.B. dec(lambda) = 0 = dec(00) und dec(005) = 5 = dec(5).

Meine Ideen:
Wäre es nicht möglich eine Grammatik anzugeben die die gesamten Wörter [0,9]* erzeugt? Die gesuchte Sprache wäre dann eine Teilmenge der erzeugten Sprache. Oder muss eine Grammatik bzgl. der Sprache eindeutig sein? Als Hinweis steht daß eine Zahl 0 (mod3) ist wenn die Quersumme durch 3 teilbar ist. Das ist klar, nur wie kann man so eine Prüfung in die Grammatik einbauen?

Wäre für Tipps echt dankbar, mir fehlt irgendwie der Ansatz.