Lösungen TheGI TI Probeklausur vom 19.01.06

Für die Lösungen wird natürlich keine Garantie übernommen. Der Assistent (Sebastian Bab?) war sich beim Vorrechnen oft selbst nicht sicher...

Aufgabe 1

im Lückentext einsetzen: endliche, endlich, abzählbar unendlich, endlich, abzählbar unendlich, Mächtigkeit, Mächtigkeit, überabzählbar

Aufgabe 2

a ∈ Σ	Σⁱ = Σ	ε ∉ Σ+	ε ∈ Σ*
ø ⊆ Σ+	ø ⊆ Σ*	a ∈ Σ*	{ε} ∉ Σ*
Σ² ⊆ Σ*	ø ∈ P(Σ*)	{ε} ∈ P(Σ*)	Σ² ∈ P(Σ*)

{aa,bb,ab,ba} = Σ²	{xab : x ∈ Σ*} = {x ∈ Σ* : x endet mit ab}
{ab,bb,aba} ⊆ Σ*	{axab : x ∈ Σ*} ⊆ {x ∈ Σ* : x endet mit ab}

Aufgabe 3

1. {x ∈ Σ*; x beginnt mit a und endet mit b}
2. {x ∈ Σ*; x beginnt mit a oder b}
3. {x ∈ Σ*; x beginnt mit a oder b oder ist das leere Wort}
4. {x ∈ Σ*; x beginnt nicht mit a}
5. {ø,{a},{b},{a,b}}
6. {(a,a),(a,b),(b,a),(b,b)}

Aufgabe 4

hier müßte man irgendwie Bilder hochladen können...

Aufgabe 5

a) L₂ = {x ∈ Σ*; x beginnt mit ab}

b)

	a	b
→q0	q1	q3
q1	q3	q2
*q2	q2	q2
q3	q3	q3

c) einfach nur normale und Endzustände vertauschen

Aufgabe 6

a) L₃ = {x ∈ Σ*; x = (aⁿb)*a^m; n,m ≥ 1} über diese Lösung wurde lange diskutiert

b)

	a	b
→q0	q1	-
*q1	q1	q0

c) Der Trick ist, dass der DEA erst in einen totalen DEA umgeform werden muß. D.h. man muß einen Zustand q₂ hinzufügen, der von q₀ aus mit dem b erreicht wird. Danach wie bei Aufgabe 5 einfach die Zustände invertieren.

Aufgabe 7

a) L₄ = {x ∈ Σ*; x endet mit a}

b) bild einfügen

c)

	a	b
→q0	{q1,q0}	{q0}
*q1	ø	ø

Aufgabe 8,9,10

Lösungen werden in einer kommenden Vorlesung nachgereicht

Aufgabe 11

(Fortsetzung des Ansatzes) Da das Wort w mehr Zeichen enthält als der Automat Zustände hat, muß bei der Ableitung von w ein Zustand in A mindestens 2x besucht worden sein. Sei q_s der erste Zustand in der Ableitung von w, bei dem dies auftritt.

Zerlege w wie folgt: w=xyz mit:

• x ist das Wort, welches bis zum ersten Auftreten von q_s von A gelesen wird.
• y ist das Wort, welches vom Automaten in der Schleife von q_s nach q_s gelesen wird.
• z ist der Rest des Wortes w.

Es gelten die drei Eigenschaften des Pumping-Lemmas:

1. y ≠ ε offensichtlich, da jede Schleife mindestens eine Zahl beinhaltet