• Keine Ergebnisse gefunden

1. (6 · 5 % = 30 %) Geben Sie zu jeder der Grammatiken G

N/A
N/A
Protected

Academic year: 2021

Aktie "1. (6 · 5 % = 30 %) Geben Sie zu jeder der Grammatiken G"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof. Carsten Lutz WS 2011/12

Theoretische Informatik 1 Gewertete Aufgaben, Blatt 10

Abgabe ins Fach Ihrer/s Tutorin/s bis 23. 1. 12, 14:00 Besprechung: KW 4

1. (6 · 5 % = 30 %) Geben Sie zu jeder der Grammatiken G

k

= (N, Σ, P, S )

(i) das maximale i an, so dass G

k

eine Grammatik vom Typ i ist, und (ii) das maximale j an, so dass L(G

k

) eine Typ-j-Sprache ist.

G

1

G

2

G

3

N {S, T } {S, A, B} {S, A, B}

P {S → aT, {S → SAS, {S → A,

S → ε, S → SBBS, S → ε,

T → Sb} S → ε, A → ab,

A → a, A → aBb,

B → b} aB → aaBb,

aB → a}

2. (3 · 10 % = 30 %) Geben Sie für folgende Sprachen L

i

, L

0i

jeweils eine Typ- i-Grammatik G

i

an. Versuchen Sie, mit möglichst wenig Produktionen auszukommen.

a) L

2

= {a

n

b

3n+4

| n ≥ 0}

b) L

3

= {w ∈ {a, b}

| aa ist ein Infix von w und w hat ungerade Länge}

c) L

02

= {xy | x, y ∈ {a, b}

, |x| = |y|, x 6= y

R

}

Dabei ist das Spiegelwort w

R

eines Wortes w ∈ Σ

definiert wie in Aufgabe 2 auf Blatt 1, also w

R

= a

n

a

n−1

. . . a

1

, falls w = a

1

a

2

. . . a

n

.

3. (3 · 10 % = 30 %) Sei G

0

= ({S, T, U, V, R}, {a, b}, P

0

, S) eine Grammatik mit P

0

= {S → ε, S → aSb, S → T, S → R, T → bbT, T → U, U → aaU, U → bbT, V → bSa, R → ε, R → bSa}. Konstruieren Sie mittels der in der Vorlesung eingeführten Verfahren

a) eine zu G

0

äquivalente reduzierte Grammatik G

1

; b) eine zu G

1

äquivalente ε-freie Grammatik G

2

;

c) eine zu G

2

äquivalente Grammatik G

3

ohne Kettenregeln.

4. (10 %) Sei G = (N, Σ, P, S) mit P = {S → ABabbaBA, S →

AABBA, A → aBBa, B → bb}. Verwenden Sie das Verfahren aus der

Vorlesung, um G in eine äquivalente Grammatik in Chomsky-Normalform

zu überführen.

Referenzen

ÄHNLICHE DOKUMENTE

Theorem: Any context-free language can be generated by a context-free grammar in Chomsky normal form.. “Can transform any CFG into Chomsky

Ein ableitbares Wort kann verschiedene Ableitungen haben, die nicht durch einen Strukturbaum dargestellt werden k¨onnen.. Punkt 2 kann Schwierigkeiten bereiten, wenn einem

Eine kontextfreie Grammatik ist genau dann eindeutig, wenn jedes durch die Grammatik erzeugte Wort genau eine Linksableitung (bzw...

[r]

Auf einer etwas theoretischeren Ebene bezeichnet man eine entsprechend erweiterte Grammatik als attributierte Grammatik (BNF+Regeln am Ende) bzw. in der gerade besprochenen relativ

Die Grammatik der Sprache MicroJava finden Sie im VO-Skriptum auf Seite 9, Kapitel 5.2. a) Geben Sie den Satz mit der minimalen Anzahl von Terminalsymbolen an, den man mit dieser

http://ssw.jku.at/Teaching/Lectures/UB/UE/2010/MicroJava.txt. a) Wie lang ist der kürzeste Satz in MicroJava, der mindestens einen Type und ein Statement enthält? Geben Sie

Zeigen Sie, dass eine Translation zu einer Phasenverschiebung im Fourierraum