Vorlesung 4 Seidl
Aus ProgrammingWiki
Archivierte Version vom 2021-04-18T13:50:56+00:00. Aktuelle Version
KA
S. 33
p(A):
- A ist ein endliches Alphabet: [a, b]
- Potenzmenge von A sind alle möglichen Kombinationen (Wörter) aus A + leere Menge: [ , a, b, aa, ab, ..., bb]p(A*):
- A* ist eine unendliche Wortmenge
- Potenzmenge von A* sind alle möglichen Kombinationen (Wörter) aus A* + leere Menge (überabzählbar unendlich?)A*:
- A* sind unendlich viele Kombinationen (Wörter) aus A ohne Längenbegrenzung
- z.B. [ , a, aa, aaa, aaaa, aaaaa, ...]endliche Menge (abzählbar unendlich viele):
- [[ , a, b, aa, ab, ..., bb], [ , c, d, cc, cd, ..., dd], ...]
entscheidbare Menge (abzählbar unendlich viele):
- muss größer als semi-entscheidbare Menge (abzählbar unendlich viele) sein, weil Entscheidbarkeit impliziert semi-Entscheidbarkeit
aufzählbare Menge (abzählbar unendlich viele):
- [[a, b, ab, ...], [b, c, bc, ...], ...]
abzählbare Menge (überabzählbar unendlich viele):
- [[a, b, ab, ...], ..., [b, c, bc, ...], ...]
Von größer zu kleiner:
p(A*)
abzählbare Menge (überabzählbar unendlich viele)
aufzählbare Menge (abzählbar unendlich viele) - entscheidbare Menge (abzählbar unendlich viele)
semi-entscheidbare Menge (abzählbar unendlich viele)
endliche Menge (abzählbar unendlich viele)
A*
p(A)