Tutor:

Jean Christoph Jung Do. 10-12

Theoretische
Informatik 2

Bearbeitet von:
Jerome Schmidt
Mitja Schmidt

bungsblatt 4
Abgabe: 11.05.2015

Aufgabe
Maximale Punktzahl
Erreichte Punktzahl

1
25

2
25

3
25

4
25

100

Aufgabe 1.
Im folgenden werden wir b als verwenden, da sonst LaTeX meckert!
Produktionen der Grammatik:
1.Phase:
S B q0 A,
A (a,a)A
AB
B (b,b)B
B
2.Phase:
q0 (a,a) (a,b)q1
q1 (a,a) (a,b)q1
q0 (b,b) q0 (b,a)
3.Phase:
q1 (a,b) EaE
q1 (b,b) E
(a,b)E Ea
E
S
Bq 0 A
(b, b)Bq 0 A
(b, b)q 0 A
(b, b)q 0 (a,a)A
(b, b)q 0 (a,a)(a,a)A
(b, b)q 0 (a,a)(a,a)(a,a)A

Seite 1 von 5

Theoretische Informatik 2

bungsblatt 4

11.05.2015

(b, b)q 0 (a,a)(a,a)(a,a)B

(b, b)q 0 (a,a)(a,a)(a,a)(b,b)B
(b, b)q 0 (a,a)(a,a)(a,a)(b,b)
(b, b)(a, b)q 1 (a,a)(a,a)(b,b)
(b, b)(a, b)(a, b)q 1 (a,a)(b,b)
(b, b)(a, b)(a, b)(a, b)q 1 (b,b)
(b, b)(a, b)(a, )(a, b)E
(b, b)(a, b)(a, b)Ea
(b, b)(a, b)Eaa
(b, b)Eaaa
Eaaa
aaa

Aufgabe 2.
Aufgabe 2.a.
Da wir nach wie vor von Typ 0 Grammatiken reden, knnen wir auch auf der linken Seite
einer Produktion Terminalsymbole vorfinden. Wir betrachten die beiden Grammatiken G1
und G2 , die wie folgt definiert sind:
G1 = {{S1 , A}, {a, b}, {S1 A, A a, a b}, S1 }
G2 = {{S2 , B, C}, {a, b}, {S2 B, B bC, C aC, C b}, S2 }
Demnach erzeugt die Grammatik G1 die Sprache L(G1 ) = {a, b} und die Grammatik G2 die
Sprache L(G2 ) = {ba b}. Mit der Sprache L(G1,2 ) knnen wir allerdings zustzlich Wrter
der Form (ba, b b) erzeugen, indem wir beispielhaft wie folgt ableiten:
S
S2
B
bC
baC
bbC
bbb

Tutor:
Jean Christoph Jung Do. 10-12

Jerome Schmidt
Mitja Schmidt

Seite 2 von 5

Theoretische Informatik 2

bungsblatt 4

11.05.2015

Aufgabe 2.b.
Wir wissen, laut Definition einer Grammatik, dass jede Produktion die Form P {N
}+ {N } hat. Die Defintion von normalisiert deckt bisher Produktionen der Form
u N + v N und Produktionen der Form u N v , also alle Produktionen
bei denen auf der linken Seite ein Nichtterminal steht und rechts ein Terminalsymbol, bzw.
links beliebig viele Nichtterminale und rechts beliebig viele Nichtterminale. Betrachten wir
nun die Produktionen die nicht diese Form haben, so knnen wir alle Regeln, die die Form
u {N } v {N } ersetzen durch Regeln der Form u N v N , indem
wir alle Symbole an aus u und v durch Nichtterminale ersetzen, wobei jedes Nichtterminal ein entsprechendes Terminalsymbol erhlt. Auerdem mssen wir dann fr jedes
Nichtterminal eine Produktion (u N v ) einfhren, sodass wir jedes Nichtterminal
in das entsprechende Terminalsymbol berfhren knnen.Dadurch erreichen diese Produktionen die Form u N + v N ,was laut Definition die gewnschte Form ist.

Aufgabe 2.c.
Sind nun G1 und G2 normalisiert, so sind alle Produktionen der Form u N + v
N oder u N v . Wir wissen, dass beide Grammatiken disjunkte Megen von
Nichtterminalen haben und somit Produktionen durch die Defintion der Sprache L(G1,2 )
nicht mehr grammatikbergreifend genutzt werden knnen, da wir auf der linken Seite in
keinem Fall mehr ein gemeinsam genutztes Symbol haben knnen, denn es gilt, dass N1 N2 =
ist. Da allerdings alle Produktionen auf der linke Seite nun nur noch Nichtterminale haben,
und wir insbesondere von S lediglich die Produktionen {(S S1 ), (S S2 )} haben, ist es
nicht mehr mglich Produktionen aus G1 mit Produktionen aus der Grammatik G2 zu nutzen
und umgekehrt. Somit bleiben wir lediglich in den Grenzen der vorgegebenen Grammatiken
G1 und G2 und die Aussage L(G1,2 = L(G1 ) L(G2 )) ist wahr.

Aufgabe 3.
Aufgabe 3.a.
Wenn eine Turingmaschine endlos Berechnet, akzeptiert sie kein Wort. Deshalb ist die Berechnung eines Wortes, was akzeptiert wird immer endlich.

Aufgabe 3.b.
Wenn es zum Beispiel eine Produktion folgender Art gibt, sind unendlich viele verschiedene
mgliche Konfigurationen mglich: (qk , , a, r, qk ) mit qk als nicht akzeptierenden Zustand

Tutor:
Jean Christoph Jung Do. 10-12

Jerome Schmidt
Mitja Schmidt

Seite 3 von 5

Theoretische Informatik 2

bungsblatt 4

11.05.2015

Aufgabe 3.c.
Da Wrter eine begrenzte Lnge haben und wir deshalb auch eine begrenzte Lnge von k
haben gibt es nur endlich viele verschiedene Konfigurationen.

Aufgabe 3.d.
Ja, da der LBA durch die Bnder alle Mglichkeiten eines Kellerautomaten besitzt.

Aufgabe 3.e.
Nein, es kann auch unendliche Berechnungen geben, wenn sich 2 Produktionen oder mehrere
aufheben.

Aufgabe 4.
In der Theorie funktioniert unser LBA wie folgt. Er ersetzt jedes zweite a durch ein b bis
er am Ende angelangt ist, dabei wird das erste stets ausgleassen. Ist er am Ende angelangt
ohne eine gerade Anzahl an b zu schreiben, so terminiert er nicht, andernfalls traversiert er
wieder an den Anfang und beginnt mit dem gleichen Algorithmus.Steht nur noch das erste
a auf dem Band, so akzeptiert er die Eingabe.

Tutor:
Jean Christoph Jung Do. 10-12

Jerome Schmidt
Mitja Schmidt

Seite 4 von 5

Theoretische Informatik 2

bungsblatt 4

11.05.2015

b,b,r
q3

b,b,r

start
q0

a,a,r

q1

a,a,r
a,b,r

a,b,r

q2

b,b,r

$,$,l

q4
,,r

$,$,l

q5

a,a,l || b,b,l

Der finale Schliff der Aufgabe wurde erstellt mit der Hilfe der Gruppe von Chris Pollok,
Gero Lindemann und Melina Svensson-Khler. Generell orientiert sich die Lsung an der
Lsung von http://www.andrew.cmu.edu/user/ko/pdfs/lecture-13.pdf,ExampleTM-2
mit einer Anpassung auf einen LBA.

Tutor:
Jean Christoph Jung Do. 10-12

Jerome Schmidt
Mitja Schmidt

Seite 5 von 5