Hallo Community,

kommenden Montag schreibe ich meine Klausur in Formale Sprachen und Automaten.
Als Übungsaufgabe sollen wir zu einer Grammatik G eine formale Sprache L(G) angeben.
G hat folgende Produktionen, Startsymbol ist X:

X->XX
X->aXb
X->bXa
X->e (leeres Wort)

Eine mögliche Ableitung wäre (von mir aufgestellt):
X => aXb => abXab => abXXab => abbXabXaab => abbabaab

Jedoch fällt es mir schwer, dafür eine Sprache L(G) anzugeben.

Kann mir jemand weiterhelfen?

Grüße aus Karlsruhe
Marco

So auf Anhieb würde ich sagen: Das sind alle Wörter, die gleich viele a's und b's haben. Oder gibt es ein ab-Wort mit der Bedingung, das sich aber mit den Regeln nicht bauen lässt?

Ein regulärer Ausdruck will mir dafür jetzt nicht einfallen, was aber daran liegen könnte, dass die Sprache nicht regulär ist (zumindest ist dir Grammatik nicht vom Typ 3 in der Chomsky-Hierarchie).

Hallo Gausi,

ja dann wird es wohl so sein, eine Bildungsvorschrift in der Form wie a^k b^k (nur als Beispiel) fällt mir für die obenstehende Grammatik nicht ein.

Dann wäre L(G) = { w e {a,b}* | #a = #b } korrekt, oder?

Würde ich sagen, ja.

naja das wort aabbbbaa wäre teil der sprache aber nicht teil der grammatik oder? oder is das egal? (muss ich noch lernen )

lg elundril

This Signature-Space is intentionally left blank.
Bei Beschwerden, bitte den Beschwerdebutton (gekennzeichnet mit PN) verwenden.

Nein, das wäre nicht egal, aber dieses Wort lässt sich mit den regeln ableiten

-.- stimmt, danke. Also wirklich noch mehr lernen.

lg elundril

This Signature-Space is intentionally left blank.
Bei Beschwerden, bitte den Beschwerdebutton (gekennzeichnet mit PN) verwenden.

FYI: Der erste Teil der Aufgabe stammt aus dem Dragonbook, 2.2.2 d). Formale Sprache wird in dem Buch (afair) gar nicht behandelt.
Dummerweise gibt es für die Aufgaben keine offizielle Lösung , Gausis Lösung deckt sich aber wenigstens hiermit: www.cs.odu.edu/~wilson/cs488/key/key1.doc