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

URL:         /axel/compiler_ss05_blatt11.html

 Dieses Blatt wird am 29.6.2005 besprochen.




Aufgabe 27 kontextfrei
Betrachten Sie die Sprache L = {ai  bj  ci  dj  | i >= 1 und j >= 1}. Beweisen Sie, daß diese Sprache nicht kontext frei ist.


Aufgabe 28 attributierte Grammatik

Geben Sie eine attributierte Grammatik an, die anbncn  erkennen kann. D.h. das Startsymbol bekommt ein binäres Attribut, welches berechnet wird und das Wort liegt in der Sprache wenn es eine Ableitung gibt und das Attribut des Startsymbols den Wert wahr bekommt.


Aufgabe 29 attributierte Grammatik l-value

Die Ausdrücke, die folgende Grammatik akzeptiert, dürfen, wie in C, Zuweisungen innerhalb von Zuweisungen enthalten.

S -->E
E --> E=E
E --> E*E
E --> (E)
E --> identifier
E --> E[ziffer]
E --> ziffer

Man konstruiere eine attributierte Grammatik, die entscheiden kann, ob ein Ausdruck (=E)  ein "l-value" ist.  Man benutze dazu ein vererbtes Attribut "seite". Unter l-value versteht man einen Ausdruck, der als linke Seite einer Zuweisung auftauchen darf. D.h. es gibt einen zugehörigen Speicherplatz.