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)