• Keine Ergebnisse gefunden

Theoretische Informatik 1 Gewertete Aufgaben, Blatt 6

N/A
N/A
Protected

Academic year: 2021

Aktie "Theoretische Informatik 1 Gewertete Aufgaben, Blatt 6"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof. Carsten Lutz/Dr. Stefan G¨oller Wintersemester 2009/2010

Theoretische Informatik 1 Gewertete Aufgaben, Blatt 6

Abgabe: Ins Postfach Ihres Tutors bis Montag, den 25.01.10., 24 Uhr Besprechung: In Ihrer ¨Ubung in KW 4

1. (2 · 15% = 30%) Gegeben sei die kontextfreie Grammatik G = (N,{a, b}, P, S) mit N = {S, A, B, C} und P = {S −→ AB, S −→

BC, A−→BA, A −→a, B −→CC, B−→ b, C −→AB, C −→a}.

Verwenden Sie den CYK-Algorithmus (mit der Matrix-Notation aus der Vorlesung), um f¨ur die folgenden W¨orter zu entscheiden ob sie in L(G) liegen.

a) w1 =baaba b) w2 =abaabb

2. (3·10% = 30%)Welche der folgenden Sprachen sind kontextfrei? Zur Be- gr¨undung Ihrer Antwort sollten sie das Pumping-Lemma f¨ur kontextfreie Sprachen verwenden oder eine entsprechende kontextfreie Grammatik an- geben.

a) L1 ={aibjckdl |i, j, k, l≥0 :i=k oderj =l}

b) L2 ={aibjckdl |i, j, k, l≥0 :i=k und j =l}

c) L3 ={w∈ {a, b, c} :|w|a=|w|c}

3. (2·15% = 30%) Geben Sie f¨ur folgende Sprachen jeweils einen Kellerau- tomaten an. Geben Sie dabei die ¨Ubergangsrelation graphisch an.

a) Die Menge der wohlgeklammerten Ausdr¨ucke K: Genauer ist K die kleinste Sprache L ¨uber dem Alphabet {(,)}, die die folgenden drei Bedingungen erf¨ullt: (1)ε∈L. (2) Wennw∈L, dann ist (w)∈L. (3) Wennw, w ∈L, dann ist ww ∈L.

b) {w∈ {a, b} :|w|a = 2· |w|b}

4. (10%) Sei A= (Q,Σ,Γ, q0, Z0,∆, F) ein Kellerautomat (PDA) mit End- zust¨anden, d.h. (Q,Σ,Γ, q0, Z0,∆) ist ein PDA und F ⊆ Q ist eine End- zustandsmenge. Ein solcher PDAakzeptiert ein Eingabewortw∈Σ gdw.

(q0, w, Z0)⊢A (q, ε, γ) f¨ur ein q∈F und ein γ ∈Γ.

Zeigen Sie, dass A in einen PDA A umgewandelt werden kann, so dass L(A) ={w∈Σ |wwird von A akzeptiert}.

Referenzen

ÄHNLICHE DOKUMENTE

Geben Sie eine deterministische Turingmaschine an, die (eine geeignete Kodierung von) N m

Abgabe:Bis 3.6.13, 12.00 ins Postfach Ihrer Tutorin/Ihres Tutors Besprechung: KW 23?. (30%=3 × 10%) Sind die folgenden

In beiden Aufgabenteilen wird angenommen, dass nat¨urliche Zahlen bin¨ar kodiert sind.. (30%=2×15%) Weisen Sie die NP -Vollst¨andigkeit folgender

Jean Christoph Jung Sommersemester 2015. Theoretische Informatik 2 Ungewertete Aufgaben,

Jean Christoph Jung Sommersemester 2015. Theoretische Informatik 2 Blatt 9

Abgabe: Bis 22.06.15 ins Postfach Ihrer Tutorin/Ihres Tutors Besprechung: KW

Theoretische Informatik 1 Ungewertete Aufgaben, Blatt 1. Besprechung: In Ihrer ¨ Ubung in

(10%) Konstruieren Sie zum unten angegebenen NEA mit Wort¨uberg¨angen einen ¨aquivalenten ε-NEA.