• Keine Ergebnisse gefunden

1. Determinisierung 10 Punkte

N/A
N/A
Protected

Academic year: 2021

Aktie "1. Determinisierung 10 Punkte "

Copied!
14
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Peter Chini, Sebastian Muskalla Sommersemester 2017

1. Bitte ausfüllen:

Vorname:

Nachname:

Matrikelnummer:

Unterschrift:

2. Achten Sie darauf, dass Ihre Klausur vollständig ist und getackert bleibt (14 Blätter)!

3. Benutzen Sienur das an dieses Blatt angeheftete Papier. Bei Bedarf können wir wei- tere Leerblätter austeilen. Wenn der Platz auf der Vorderseite des jeweiligen Aufgaben- blatts nicht ausreicht,machen Sie kenntlich, wo Sie die Bearbeitung der Aufgabe fort- setzen.

4. Als Hilfsmittel istausschließlich ein zweiseitighandgeschriebenes DIN A4-Blatt er- laubt. Elektronische Geräte müssen während der Klausur ausgeschaltet bleiben. Täu- schungsversuche werden mit 0 Punkten gewertet und dem Prüfungsamt gemeldet.

5. Schreiben Sie leserlich und bearbeiten Sie Ihre Klausurnicht mit Bleistiftund auch nicht in roter oder grüner Farbe!

6. Wir werden das Deckblatt während der Klausur auf korrekte Daten überprüfen. Legen Sie dazu IhrenStudierendenausweisund einenamtlichen Lichtbildausweisbereit.

7. Wir werden den Termin für die Klausureinsicht auf unserer Website bekanntgeben:

tcs.cs.tu-bs.de/teaching/ThInfIKlausur_SS_2017.html . 8. DieBearbeitungszeitbeträgt120 Minuten.

9. Mit40 Punktenist die Klausursicher bestanden.

Punkteverteilung:

(wird von den Korrektoren ausgefüllt)

Aufgabe 1 2 3 4 5 6 7 8 9 10 Σ

Max. 10 10 10 10 10 10 10 10 10 10 100

Punkte

(2)

1. Determinisierung 10 Punkte

Determinisieren Sie folgenden NFA über dem AlphabetΣ={ a,b,c}

unter Verwendung der Potenzmengen-Konstruktion:

q0 q1 q2

q3 q4 q5

a

c

a a,b

c

b b

a,b

c

(3)

2. Ardens Lemma 10 Punkte

Gegeben sei folgender NFAAüber dem AlphabetΣ={ a,b}

:

q0 q1

q2 q3

q4 b

a a

b

a b

a,b

a,b

Geben Sie das zuAgehörige Gleichungssystem an und lösen Sie dieses unter Verwendung von Ardens Lemma.

(4)

3. Automatenkonstruktion 10 Punkte

Es seiK Neine gerade Zahl undΣdas AlphabetΣ={ a,b}

. Konstruieren Sie einen NFAAK, der die folgende Sprache akzeptiert:

L=((

aK)

(

(ab)K/2))K

. Hinweis:AKdarfε-Transitionen enthalten.

(5)

4. CYK-Algorithmus 10 Punkte

Gegeben ist die kontextfreie GrammatikG= ({

S,A,B,C} ,{

a,b}

,P,S) mitP:

SAB |AC, AAA |BB| a, BAA |b, CAA |CC.

Entscheiden Sie mit Hilfe des Cocke–Younger–Kasami-Algorithmus, ob das Wortw =aabba vonGerzeugt wird.

(6)

5. Tripelkonstruktion 10 Punkte

Gegeben sei der folgende PDAPüber dem AlphabetΣ={ a,b,c}

mit initialem Stack-Symbol #.

Der PDAPakzeptiert mit leeren Stack.

q0

q1

q2

q3

q4 a; #/A

b; #/B

c;A/A

c;B/B

b;A/ABA

c;A/ε

b;B/BAB

c;B/ε

b;B/ε a;A/ε

Benutzen Sie die Tripelkonstruktion aus der Vorlesung, um eine kontextfreie GrammatikG mitL(G) =L(P) zu konstruieren.

(7)

6. Pumping-Lemma 10 Punkte

Es seiΣ = { a,b,c}

undw Σ. Wir bezeichnen mit |w|a(analog |w|bund |w|c) die Anzahl dera’s inw.

Zeigen Sie mit Hilfe des Pumping-Lemmas, dass die Sprache L={

w∈Σ|w|a+ |w|b= |w|c} nicht regulär ist.

(8)

7. Zustandswechselsprachen 4 + 6 = 10 Punkte

Es seiAein NFA mit ZustandsmengeQüber dem AlphabetΣund (q,q) Q2ein Zustands- paar. Die SpracheL(q,q) =

{

w∈ΣqwqinA }

beinhaltet alle Wörter ausΣ, die im AutomatenAeinen Zustandswechsel vonqnachqherbeiführen.

a) Es sei (q1,q2)(q3,q4). . .(qn-1,qn) (Q2) eine Sequenz von Zustandspaaren. Skizzieren Sie einen NFA für die SpracheL(q1,q2).L(q3,q4). . .L(qn-1,qn).

b) Angenommen für jeden Zustandq∈QgiltL(q,q) =ε. Zeigen Sie, dassL(A) endlich ist.

(9)

8. Fragen zu Sprachen 2 + 2 + 3 + 3 = 10 Punkte

Beantworten Sie die folgenden Fragen. Begründen Sie ihre Antwort mit einem kurzen Beweis oder einem Gegenbeispiel.

a) Gibt es eine reguläre Sprache, deren Komplement kontextfrei ist?

b) Es seiLeine nicht kontextfreie Sprache. IstLregulär?

c) SeiL1kontextfrei undL2regulär. Ist der SchnittL1∩L2regulär?

d) SeiLeine kontextfreie Sprache, dieεnicht enthält undLeine Sprache mitL=L.L{ w}

, wobeiwein Wort ist. IstLkontextfrei?

(10)

9. Parikh-Bild 4 + 6 = 10 Punkte

Es sei Σ = {

a1,. . .,an}

ein endliches Alphabet undw Σ. Wir bezeichnen mit |w|ai die Anzahl des Buchstabenai inw. Beispielsweise ist |abbaa|a = 3 und |abbaa|b = 2 über dem Alphabet{

a,b} .

DasParikh-Bildψ(w) ist ein Vektor inNn, der die Anzahlen aller Buchstaben inwauflistet. Es ist definiert durch:

ψ(w) = (|w|a1, |w|a2,. . ., |w|an)Nn. Zum Beispiel istψ(abbaa) = (3, 2) über dem Alphabet{

a,b} .

Sei nunL⊆Σeine Sprache. Das Parikh-Bild vonList die Menge der Parikh-Bilder der Worte inL:

ψ(L) ={

ψ(w)w∈L}

Nn. Beispielsweise istψ({

abbaa,aaab,aaabb} ) ={

(3, 2), (3, 1)}

, daψ(abbaa) =ψ(aaabb).

a) SeiΓ ={

a,b,c}

. Konstruieren Sie einen NFAAüberΓ, sodassψ(L(A)) ={

(n, 2n, 3n)n∈N} . b) SeiΣ = {

a1,. . .,an}

ein beliebiges endliches Alphabet undc,v1,. . .,vk NnVektoren.

Wir betrachten die MengeP = {

c+n1v1+· · ·+nkvkn1,. . .,nk N}

Nn. Skizzieren Sie einen NFAAüberΣ, sodassψ(L(A)) =P.

(11)

10. Piece-Sprachen 1+3+6 = 10 Punkte

Sei Σein endliches Alphabet. Eine Sprache der Form L = Σ.a1.a2. . . Σ.an mit a1,. . .,an ΣheißtPiece-Sprache. Das Ziel dieser Aufgabe ist es, den Schnitt zweier Piece- Sprachen mit Hilfe von endlich vielen Piece-Sprachen zu beschreiben.

SeienΓ,∆ ΣTeilmengen mitΓ ∆ = . Gegeben sindL1 = Σ.a1. . . Σ.an und L2.b1. . . Σ.bm, zwei Piece-Sprachen, mita1,. . .,anΓ undb1,. . .,bm ∆.

a) Konstruieren Sie NFAsA1undA2mitL(Ai) =Li,i= 1, 2.

b) Skizzieren Sie einen NFAA1×A2über dem gemeinsamen AlphabetΣmit L(A1×A2) =L1∩L2.

Sei nunvein Wort in (Γ ∆). DieProjektionvonvaufΓ ist das WortπΓ(v) Γ, welches entsteht, wenn man invdie Buchstaben aus∆herausstreicht. Analog istπ(v) definiert. Zum Beispiel istπ{a,b}(acdbb) =abb.

Es seienw∈Γundu Wörter. DerShufflevonwunduist die Sprache:

wXu={

v∈∆)πΓ(v) =wundπ(v) =u} .

Der Shuffle beinhaltet also alle Wörter, die sich durch Verschachtelung vonwunduergeben.

Zum Beispiel istabXcd={

abcd,acdb,acbd,cdab,cabd,cadb} . c) Beweisen Sie nun, dass gilt:

L1∩L2 = ∪

σ∈a1...anXb1...bm

Σ1. . . Σn+m.

Achten Sie darauf, dassa1,. . .,an Γ,b1,. . .,bm ∆undΓund∆disjunkt sind.

(12)
(13)
(14)

Referenzen

ÄHNLICHE DOKUMENTE

Zeiterfassung (2 Punkte) Deklarieren und definieren Sie eine Funktion time, die aus einer Sequenz von Auf- tr¨ agen, die Summe der Wartezeiten f¨ ur alle Schalter liefert.. Benutzen

eines Verzeichnisses (2 Punkte) Deklarieren und definieren Sie eine Funk- tion umbenennen, die eine struktur (Datei oder Verzeichnis) umbenennt, wenn das Zugriffsrecht (schreibend)

b) Betrachten Sie nun die Situation, in der jede Firma einen Anteil an der jeweils anderen Firma besitze. Dieser Anteil sei hinreichend klein, so dass jede Firma volle Kontrolle

Das Spiel habe folgende zeitliche Struktur: Auf der ersten Stufe entschei- det Unternehmen L über seine Produktionsmenge (gehen Sie von der gleichen Menge wie im vorherigen

Aufgabe 1: Vereinfachen Sie so weit wie möglich. Aufgabe 5: Wenn der Radius eines Kreises um 50 cm vergrößert wird, dann verdreifacht sich die ursprüngliche Kreisfläche. a) Stellen

Lesen Sie ein File mit 2 Spalten aus Integer Zahlen und vertauschen Sie im Output beide Spalten. Der Name des Input Files soll dem Programm übergeben werden. Der Output ist

Aufgabenstellung möchte ich Sie bitten, gegebenenfalls Lösungen oder Output von Tests an marks@physi.uni-heidelberg.de unter Angabe Ihres Names als tar File zu schicken. Aufgabe 1:

b) Die Systematik der Produktionsfaktoren leitet sich abhängig vom gewählten Erkenntnisobjekt ab, ist also nicht natürlich gegeben. Eine zweifelsfreie Zuordnung ist nicht