Prof. Dr. R. Laue
Dr. A. Kohnert                                                                                                                                             SS 2005
Compilerbau und formale Sprachen
                                Übungsblatt 3
                              

URL:         /axel/compiler_ss05_blatt3.html

 Dieses Blatt wird am 4.5.2005 besprochen.

Aufgabe 6

Gib eine Grammatik G an mit L(G)=L4 (aus Aufgabe 3) wobei

L4={ Wörter über {a,b} mit gleichviel a's  und b's }

Beweis!


Aufgabe 7

Gib eine Grammatik G an mit L(G)=L6  wobei

L6={ anbncmdm: n >= 1  und  m>=1}

Beweis!


Aufgabe 8
Gegeben die Grammatik G mit
S --> aA |  a
A --> aA | a | bB
B --> aB | bA | b

(S Startzustand, {S,A,B} Nichtterminalsymbole , {a,b} Terminalsymbole )
was ist die Sprache? Beweis