• Keine Ergebnisse gefunden

Universit¨ at Siegen

N/A
N/A
Protected

Academic year: 2021

Aktie "Universit¨ at Siegen"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Universit¨ at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey

Compilerbau I SS 2016

Ubungsblatt 5 ¨

Aufgabe 1 Sei WS die Menge aller Whitespaces. Betrachten Sie das Wort w ∈ ({a, . . . , z , 0, . . . , 9, <, =, :} ∪ WS)

einer Programmiersprache mit

w = if x <= 5 then val := 10

• Geben Sie eine geeignete Tokenfolge f¨ ur w an.

• Welche Tokenfolge erhalten Sie, wenn sie alle Whitespaces aus w ent- fernen?

• Entwerfen Sie regul¨ are Ausdr¨ ucke, die die g¨ ultigen Tokens der Pro- grammiersprache beschreiben, und geben Sie diesen Priorit¨ aten.

• Geben Sie intuitiv einen deterministischen Automaten an, der das To- kenizing durchf¨ uhrt. Geben Sie f¨ ur jeden Endzustand an, welche Art Token in ihm erkannt wird.

Aufgabe 2 Seien r

1

, r

2

∈ E

{a,b}

gegeben durch

r

1

= a r

2

= a

b

• Definieren Sie den Scanner zu r

1

|r

2

.

• Bestimmen Sie die Tokenfolge zu dem Wort aaabaabaaa .

• F¨ uhren Sie den naiven Tokenizing-Algorithmus f¨ ur w = aaaa durch.

• F¨ uhren Sie anschließend den Maximal-Munch-Algorithmus f¨ ur w durch.

1

Referenzen

ÄHNLICHE DOKUMENTE

[r]

(c) Geben Sie zu jeder Formel eine Struktur an, die kein Modell ist..

Aufgabe 1 Verwenden Sie regul¨ are Ausdr¨ ucke, um die folgenden Mengen zu definieren. Zeigen Sie, dass regul¨ are Sprachen unter Anwendung von m ∗ abgeschlossen

Formalisieren Sie Ihr Vorgehen in 1, indem Sie regul¨ are Ausdr¨ ucke und Priorit¨ aten f¨ ur die Tokenklassen angeben2. Geben Sie intuitiv den Scanner zu den regul¨ aren Ausdr¨

Aufgabe 2 Beweisen Sie die zwei Aussagen aus dem Skript auf Seite 99 zur Korrektheit des Algorithmus zum Auffinden nichtproduktiver Nichtterminale:.. • Falls A in der j -ten

Sprache regul¨ ar = ⇒ Sprache erf¨ ullt die Pumping-Eigenschaft Zeige, dass eine Sprache nicht regul¨ ar ist, durch Kontraposition:. Sprache erf¨ ullt nicht

das Pumping-Lemma zeigt, dass L nicht regul¨ ar ist. Beachte: L ist regul¨

(keine Variablen oder