Was bedeutet dieses Zeichen, bei dieser Menge?
Dieses *, was hatd as für eine Bedeutugn? DIe MEnge sei überabzählbar warum?
3 Antworten
Geht es hier irgendwie um formale Sprachen oder so was?
M8 beschreibt eine formale Sprache (genau genommen sogar eine reguläre Sprache).
Dann ist 0,1 das Alphabet, die zulässigen Zeichen sind also 0 und 1.
{0,1}* steht dann für alle Wörter aus beliebig vielen (aber in jedem Fall endlich vielen) dieser Zeichen, also z.B. 1, 0010, 100110, 0100010101101011101 oder auch das leere Wort (e bzw. epsilon).
Im Unterschied dazu steht {0,1}+ für alle Wörter mit mindestens einem Zeichen, also die Menge wie {0,1}*, aber ohne das leere Wort.
Da die maximale Länge der Wörter dieser Sprache nicht begrenzt ist (sie muss nur endlich sein), enthält diese Sprache unendlich viele Wörter. Das wird mit "überabzählbar" gemeint sein.
Falls du es von einer Website hast, dann ist es vielleicht ein Hinweis oder Ergänzung zu etwas. Vielleicht steht unter dem Beitrag auf der Website also vielleicht eine kleine Notiz
Das sollte (ich nehme an, das kommt aus einer Vorlesung Mathematik für Informatiker, ja?) die Menge aller Wörter über dem Alphabet {0,1} sein. Diese Menge allerdings wäre abzählbar.
Überabzählbar wäre die Menge aller Sprachen über dieser Menge.
Ansonsten schau ins Skript, das sollte ja definiert sein.
Wichtig ist, dass die Wörter endlich sind (der Kleene Star produziert nur endliche Wörter). Die Menge der unendlichen Bitsequencen ist nämlich überabzählbar.
Das ist naheliegend. Ich studiere selbst Informatik und kenne das hier aus dem Modul "Formale Sprachen und Berechenbarkeit".
Überabzählbar ist das nicht, sondern abzählbar unendlich. Für überabzählbar reicht es nicht aus, dass es unendlich viele Wörter gibt, das müssen schon ein paar mehr sein.