Lösungen TheGI TI Probeklausur vom 19.01.06: Unterschied zwischen den Versionen
(→Aufgabe 2) |
(→Aufgabe 2) |
||
Zeile 4: | Zeile 4: | ||
{| border="1" | {| border="1" | ||
|a ∈ Σ | |a ∈ Σ | ||
− | |Σⁱ = Σ | + | |Σⁱ <u>=</u> Σ |
− | |ε ∉ Σ<sup>+</sup> | + | |ε <u>∉</u> Σ<sup>+</sup> |
− | |ε ∈ Σ* | + | |ε <u>∈</u> Σ* |
|- | |- | ||
− | |ø ⊆ Σ<sup>+</sup> | + | |ø <u>⊆</u> Σ<sup>+</sup> |
− | |ø ⊆ Σ* | + | |ø <u>⊆</u> Σ* |
− | |a ∈ Σ* | + | |a <u>∈</u> Σ* |
− | |{ε} ∉ Σ* | + | |{ε} <u>∉</u> Σ* |
|- | |- | ||
− | |Σ² ⊆ Σ* | + | |Σ² <u>⊆</u> Σ* |
− | |ø ∈ P(Σ*) | + | |ø <u>∈</u> P(Σ*) |
− | |{ε} ∈ P(Σ*) | + | |{ε} <u>∈</u> P(Σ*) |
− | |Σ² ∈ P(Σ*) | + | |Σ² <u>∈</u> P(Σ*) |
|} | |} | ||
{| border="1" | {| border="1" | ||
− | |{''aa,bb,ab,ba''} = Σ² | + | |{''aa,bb,ab,ba''} <u>=</u> Σ² |
− | |{''xab'' : x ∈ Σ*} = {''x'' ∈ Σ* : ''x'' endet mit ''ab''} | + | |{''xab'' : x ∈ Σ*} <u>=</u> {''x'' ∈ Σ* : ''x'' endet mit ''ab''} |
|- | |- | ||
− | |{''ab,bb,aba''} ⊆ Σ* | + | |{''ab,bb,aba''} <u>⊆</u> Σ* |
− | |{''axab'' : ''x'' ∈ Σ*} ⊆ {''x'' ∈ Σ* : ''x'' endet mit ''ab''} | + | |{''axab'' : ''x'' ∈ Σ*} <u>⊆</u> {''x'' ∈ Σ* : ''x'' endet mit ''ab''} |
|} | |} |
Version vom 22. Januar 2006, 13:43 Uhr
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} |