Halteproblem/Registermaschine/Unentscheidbarkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Unentscheidbarkeit des Halteproblems

Die Menge

ist nicht -entscheidbar.

Zum Beweis, Alternativen Beweis erstellen