Einführung in Berechenbarkeit, Komplexität und formale Sprachen
Einführung in Berechenbarkeit, Komplexität und formale Sprachen
Einführung in Berechenbarkeit, Komplexität und formale Sprachen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Aufgabe 1 (Visualisierung)<br />
Zeigen Sie mit Hilfe von Diagonalisierung, dass die Menge der unendlich langen<br />
Bitfolgen über dem Alphabet {0, 1} überabzählbar ist.<br />
w1<br />
w2<br />
w3<br />
w4<br />
⋮<br />
wi<br />
⋮<br />
1 2 3 4 . . . xi . . . xℓ<br />
ja<br />
ja<br />
ja<br />
wℓ = y ne<strong>in</strong> ne<strong>in</strong> ne<strong>in</strong> ne<strong>in</strong> ne<strong>in</strong> ?<br />
⋮<br />
Table : Die E<strong>in</strong>träge <strong>in</strong> der ersten Spalte zählen die Bitfolgen aus U auf.<br />
E<strong>in</strong> E<strong>in</strong>trag <strong>in</strong> Zeile i <strong>und</strong> Spalte j ist „ja“, falls f (xj) = wi, andernfalls ist er „ne<strong>in</strong>“.<br />
ja<br />
ja<br />
3 / 17