11. Rekursiv aufzählbare Mengen - Fakultät für Mathematik und ...
11. Rekursiv aufzählbare Mengen - Fakultät für Mathematik und ...
11. Rekursiv aufzählbare Mengen - Fakultät für Mathematik und ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
WIEDERHOLUNGEine Menge A ⊆ N n ist rekursiv aufzählbar (r.a.), wenn sie derDefinitionsbereich einer partiell rekursiven Funktion ist.Wir haben gesehen, dass sich die <strong>aufzählbare</strong>n <strong>Mengen</strong>, d.h. die<strong>Mengen</strong>, die sich durch ein Aufzählungsverfahren beschreiben lassen,entsprechend als Definitionsbereiche partiell berechenbarerFunktionen darstellen lassen.Nach der Church-Turing-These gilt also:rekursiv aufzählbar = aufzählbarAls nächstes werden wir zeigen, dass sich die weiteren anschaulichen Charakterisierungender <strong>aufzählbare</strong>n <strong>Mengen</strong> entsprechend auf die r.a. <strong>Mengen</strong>übertragen <strong>und</strong> dort formal nachweisen lassen.1