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 manchmal 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...

	a	b
→q0	q1	q0
q1	q1	q1

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:

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

Aufgabe 6

a) L₃ = {x ∈ Σ*; x = a(a+ba)*}

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 und mit jedem weiteren a oder b in q₂ bleibt. 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

Es gilt allgemein: E*=(a*b*)*=(a+b)*. Ist halt so... Wer nicht faul ist, kann nachrechnen ;-) Mit der Iteration ist es ein wenig verwirrend. Als Informatiker könnte man ja auch sagen "die 0-te Iteration von irgendwas". Hier ist aber offensichtlich unter Iteration eine nichtleere Wiederholung gemeint. Ist aber eigentlich eine Vereinbarungssache.

8

 L1={x aus E* : in x kommt a mind. einmal vor}
 L2={axb : x aus E*}={x aus E* : x fängt mit a oder endet mit b}
 L3={x aus {aa, bb}*}={x : x ist ein Wort beliebiger Länge bestehend aus den Strings aa und bb}
 L4={x aus (ab)*}={x : x ist die Iteration des Strings ab oder das leere Wort}
 L5={e}

9

 F1=E*(aab)E*=(a*b*)*aab(a*b*)*
 F2=aabE*=aab(a*b*)*
 F3=(aab)+ (Iteration setz mind. das einmalige Vorkommen voraus)

10

 R+S=S+R (Richtig, braucht keines Nachweises)
 
 RS=SR   (Falsch, braucht keines Nachweises)
 
 (RS)*= (R*S*)*  (Falsch)
 Angemnommen es gilt. Da (R*S*)*=(R+S)*, muss gelten (RS)*=(R+S)*, mit (RS)* laesst sich aber z.B. (RR...R) i.A. nicht bilden => Widerspruch!
 
 (R+S)*=(R*+S*)* (Richtig)
 Direkter Beweis: (R+S)*=(R*S*)*=((R*)*(S*)*)*=(R*+S*)*

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.
2. |xy| ≤ n : gilt, da wir die erste Schleife in A gewählt haben.
3. xy^kz in L : Schleifen können mehrfach oder gar nicht abgearbeitet werden.

Aufgabe 12

a) wähle n=5

b) w=abaaa ; x=ab, y=a, z=aa; xy³z=abaaaaa

Aufgabe 13

(weiter nach Ansatz) Nach Definition des Pumping-Lemma läßt sich w in w=xyz zerlegen. Nach Eigenschaft (2) des PL kann der Teil xy nur aus a's bestehen. y ist mindestens ein a. Nach (3) ist dann auch das Wort xy²z ∈ L. Für dieses Wort gilt aber xy²z = a^n-|y|a^|y|+|y| b aⁿ. Da n-|y|+|y|+|y| = n+|y| ≠ n gilt, stehen zu Beginn des Wortes mehr a's als am Ende → Widerspruch!

Aufgabe 14

a) bilder...

b)

1. S⇒ aS⇒ aaSbS⇒ aaaSbSbS⇒ aaabSbS⇒ aaabbS⇒ aaabb
2. S⇒ aSbS⇒ aaSbS⇒ aaaSbSbS⇒ aaabSbS⇒ aaabbS⇒ aaabb

Aufgabe 15

von oben nach unten

• Typ-0; allgemeine
• Typ-1; kontext-sensitive
• Typ-2; kontext-freie
• Typ-3; reguläre

Aufgabe 16

Lückentext: Die Chomsky-Hierarchie klassifiziert die durch Grammatiken erzeugbaren Sprachen über Eigenschaften der Produktionsregeln der Grammatiken. Eine Grammatik G ist ein Tupel G = (Σ,V,S,P), wobei Σ ein Alphabet, V eine Menge von Variablen, S die Startvariable und P eine Menge von Produktionsregeln ist.

Die Klasse der regulären Sprachen enthält Sprachen, die über regulären Grammatiken gebildet werden können. Eine Grammatik heißt regulär, wenn alle ihre Produktionsregeln u → v ∈ P die Eigenschaften u ∈ V sowie v ∈ Σ oder v ∈ Σ ο V erfüllen. Ein Beispiel einer typischen regulären Sprache ist die Sprache L_rg = {aⁿ | n ≥ 1}. Reguläre Sprachen können entweder endlich oder unendlich sein. Die Klasse der endlichen Sprachen bildet hierbei eine Teilklasse der regulären Sprachen. Reguläre Sprachen werden von enlichen Automaten erkannt. Endliche Automaten können deterministisch oder nichtdeterministisch sein. Die Klasse der von deterministischen endlichen Automaten akzeptierten Sprachen ist hierbei gleich der Klasse der von nichtdeterministischen endlichen Automaten akzeptierten Sprachen.

Die kontextfreien Sprachen werden durch solche Grammatiken gebildet, deren Produktionsregeln u → v ∈ P die Form u ∈ V sowie v ∈ (Σ∪V)* haben. Damit ist natürlich jede reguläre Grammatik auch eine kontextfreie Grammatik. Ein typisches Beispiel einer kontextfreien Sprache ist L_kf = {aⁿbⁿ|n > 1} . Jede kontextfreie Grammatik G läßt sich durch geeignetes Umformen der Regeln der Grammatik in eine Grammatik G ' in Chomsky-Normalform konvertieren. Die von G und G ' erzeugten Sprachen sind hierbei gleich. Die Produktionsregeln u → v ∈ P von Grammatiken in Chomsky-Normalform sind hierbei von der Form u ∈ V und v ∈ Σ oder u ∈ V und v ∈ V ο V. Kontextfreie Sprachen werden von deterministsischen oder nichtdeterministischen Kellermaschinen erkannt. Die Klasse der don deterministischen Kellermaschinen akzeptierten Sprachen ist hierbei ungleich der Klasse der von nichtdeterministischen Kellerautomaten akzeptierten Sprachen. Palindrome sind Worte über einem Alphabet, die von vorne gelesen das selbe Wort ergeben wie von hinten gelesen. Die Sprache der Palindrome mit Trennzeichen läßt sich hierbei auch von deterministischen Kellermaschinen akzeptieren, wohingegen die Sprache der Palindrome ohne Trennzeichen nur von nichtdeterministischen Kellermaschinen akzeptiert wird.

Die kontextsensitiven Sprachen werden durch solche Grammatiken gebildet, deren Produktionsregeln u → v ∈ P die Eigenschaft u ∈ (Σ∪V)*οVο(Σ∪V)* und v ∈ (Σ∪V)* mit |u| ≤ |v| erfüllen. Ein Beispiel einer typischen kontextsensitiven Sprache ist L_ks = {aⁿbⁿcⁿ| n ≥ 1}

Die allgemeinen Sprachen werden ebenfalls über Grammatiken gebildet, wobei die Produktionsregeln dieser Grammatiken keinen Einschränkungen unterliegen. Ein typisches Beispiel einer allgemeinen Sprache ist das Halteproblem.

Aufgabe 17

	Schnitt	Vereinigung	Komplement	Verkettung	Stern
Typ 3	ja	ja	ja	ja	ja
Det. kf	nein	nein	ja	nein	nein
Typ 2	nein	ja	nein	ja	ja
Typ 1	ja	ja	ja	ja	ja
Typ 0	ja	ja	nein	ja	ja

Aufgabe 18

1. Die Sprache L_₂ ist komplementär zur Sprache L₁
   L₁ ist das spezielle Halteproblem für Turingmaschinen
   Jede Turingmaschine lässt sich selbst mit Hilfe ihres Eingabealphabetes codieren. ω ist die codierung von M_ω
2. - Eine Sprache ist entscheidbar, wenn wenn es einen Automaten gibt der nach Eingabe eines endlichen Wortes hält und dann entschieden ist, ob dieses Wort zu der Sprache gehört oder nicht.
   - Eine Sprache ist semi-entscheidbar, wenn ein Automat für diese Sprache terminiert für Wörter aus der Sprache, sein Zustand für Wörter die nicht aus der Sprache sind aber undefiniert ist, er möglicherweise also nicht terminiert für Wörter die nicht aus der Sprache sind.
   - Eine Sprache ist unentscheidbar, wenn es Wörter aus der Sprache gibt für die keine Turing-Maschine hält.

Aussage	wahr	falsch
Die Klasse der kontextfreien SPrachen enthält nur entscheidbare Sprachen.	x
Die Klasse der allgemeinen (Typ-0-)Sprahcen enthält nur semi-entscheidbare Sürachen, aber keine entscheidbaren Sprachen.		x
Es gibt allgemeine (Typ-0-)Sprachen, welche nicht kontextfrei, die aber dennoch entscheidbar sind.	x
Das spezielle Halteproblem ist nicht entscheidbar.	x
Das spezielle Halteproblem ist semi-entscheidbar.	x
Das Komplement des speziellen Halteproblems ist unentscheidbar, also weder entscheidbar noch semi-entscheidbar.	x

Quelle für det.kf. und Restliche

Siehe gleiche Tabelle bei Schöning: Theoretische Informatik - kurzgefasst , S 89