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

Kapitel 0: Grundbegriffe
Mengen / Relationen
u Vergleich der Mächtigkeit von Mengen
• es seien A und B Mengen
• es gilt |A| = |B|, falls es gibt eine eineindeutige Abbildung f(.) der
Menge A auf die Menge B
A
7
5
3
f(.)
B
a
b
c
• eine Menge A heißt abzählbar unendlich gdw. |A| = |N| gilt
... dann gibt es auch eine eineindeutige Abbildung f(.) der
Menge A auf die Menge N der natürlichen Zahlen
0/2, Folie 18 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik