Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...

Kapitel 0: Grundbegriffe
Mengen / Relationen
u Ein Beispiel für eine überabzählbar unendliche Menge (/* mit Beweis */)
• zu jeder Menge M i in der angeblich existierenden Aufzählung der
Potenzmenge 2 N bezeichnen wir mir r i = ( r i,0 ,r i,1 ,r i,2 ,... ) den dieser
Menge M i zugeordneten unendlichen 0/1-Vektor
• der der „fehlenden“ Menge M zugeordnete unendliche 0/1-Vektor
r = ( r 0 ,r 1 ,r 2 ,... ) wird wie folgt definiert:
• für alle i = 0,1,2, ... gilt:
• r i = 1, falls r i,i = 0 (/* d.h. i ∈ M, falls i ∉ M i */)
• r i = 0, falls r i,i = 1 (/* d.h. i ∉ M, falls i ∈ M i */)
0/2, Folie 23 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik