• Keine Ergebnisse gefunden

Universit¨ at Siegen

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Universit¨ at Siegen"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Universit¨ at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey

Compilerbau I SS 2016

Ubungsblatt 8 ¨

Aufgabe 1 Gegeben seien folgende Grammatiken:

• G

1

= ({a , b }, {S , A, B , C , D }, P

1

, S ), wobei P

1

gegeben ist durch:

S → AB | C A → C C → a B → Da D → Bb

• G

2

= ({a , c }, {S , A, B , C }, P

2

, S ), wobei P

2

gegeben ist durch:

S → SA A → AC | a B → SAC C → c

• G

3

= ({a }, {S , A, B , C }, P

3

, S ), wobei P

3

gegeben ist durch:

S → AB | a A → a C → SA

1. F¨ uhren Sie f¨ ur G

1

, G

2

und G

3

den Algorithmus zur Reduktion einer kontextfreien Grammatik durch.

2. Was geschieht bei G

3

, wenn Sie zuerst die nicht erreichbaren und dann die nicht produktiven Nichtterminalsymbole entfernen?

Aufgabe 2 Beweisen Sie die zwei Aussagen aus dem Skript auf Seite 99 zur Korrektheit des Algorithmus zum Auffinden nichtproduktiver Nichttermina- le.

1

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 77.01 KB )

ÄHNLICHE DOKUMENTE

Universit¨ at Siegen

Außerdem kann man endliche Auto- maten und 2-Bandautomaten durchnummerieren (betrachten Sie eine Kodierung 1 f¨ ur endliche Automaten / 2-Bandautomaten ¨ uber einem endlichen

Universit¨ at Siegen

Diese Situation entspricht Fall 5

Universit¨ at Siegen

[r]

Universit¨ at Siegen

[r]

Universit¨ at Siegen

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

Universit¨ at Siegen

Wandeln Sie das Verfahren so um, dass der NDEA stattdessen einen einzigen Endzustand besitzt.. Verwenden Sie hierzu die bereits bekannten Funktionen empty, first, last

Universit¨ at Siegen

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¨

Universit¨ at Siegen

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