Compilerbau

2. Übung

Reguläre Sprachen und Endliche Automaten

Aufgabe 1
Geben Sie eine reguläre Grammatik an, die die geraden, ganzen Zahlen erzeugt! Achten Sie dar-
auf, daß die Zahlen ohne führende Nullen generiert werden !

Aufgabe 2
Geben Sie eine reguläre Grammatik an, die alle 0,1-Folgen erzeugt mit jeweils gerader Anzahl von
Nullen und Einsen!
− Leiten sie den Satz 010011011100 aus dem Axiom der Grammatik ab!
− Konstruieren Sie einen Endlichen Automaten, der die gleiche Sprache akzeptiert!
− Analysieren Sie mit dem Automaten den String 0110110101!

Aufgabe 3
Geben Sie eine reguläre Grammatik an, welche die FORTRAN-Namen erzeugt (maximal 6 Zei-
chen lang).

Aufgabe 4

{ }
Man prüfe nach, ob die Sprache L = xy n z | n > 0 regulär ist.

Aufgabe 5
Welche Stellung hat die Sprache L = {σ | σ ∈ T *} in der Chomsky-Hierarchie? Begründen Sie
Ihre Antwort durch Angabe einer geeigneten Grammatik!

Aufgabe 6
Begründen Sie, warum die geklammerten arithmetischen Ausdrücke keine reguläre Sprache sein
können !

Aufgabe 7
Gesucht ist ein Endlicher Automat, der alle 0,1-Folgen ohne isolierte Nullen und Einsen akzeptiert.
Geben Sie seinen Zustandsgraphen, seinen Startzustand und die Menge seiner Endzustände an.

Aufgabe 8
Auf einer seriellen Datenleitung werden ASCII-Zeichen im folgenden Format übertragen:
− 1 Startbit (Signallevel 0)
− 7 Datenbits
− 1 Parity-Bit für gerade Parity
− 2 Stop-Bits (Signallevel 1)
Beispiel für einen Zeichenblock: 01010110011
Es ist ein Endlicher Automat zu konstruieren, der den Datenstrom auf Fehler überwacht. Geben
Sie dazu an: − seinen Zustandsgraphen
− seine Start- und Endzustände
− eine Beschreibung der Strategie, nach der er arbeitet.

−1−
Aufgabe 9
Zu der formalen Sprache L gehören alle 0,1-Folgen, die gleich viele Nullen und Einsen enthalten,
wobei aber außerdem zwei benachbarte Zeichen nie gleich sind.
− Geben Sie einen Endlichen Automaten an, der diese Sprache akzeptiert.
− Geben Sie eine reguläre Grammatik an, die diese Sprache erzeugt!

Aufgabe 10
Gegeben ist ein Endlicher Automat durch den folgenden Zustandsgraphen:

S
0 1

1
A B
0

0 1
Ω

0|1

Dabei sind S der Startzustand und {A, B} die Menge der Endzustände.
− Welches ist die von diesem Automaten definierte Sprache?
− Geben Sie eine reguläre Grammatik an, die diese Sprache generiert!
− Analysieren Sie mit dem Automaten die folgenden Strings :
0101010
0100101

−2−