Halteproblem/Registermaschine/Eingabe der Programmnummer/Unentscheidbarkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Unentscheidbarkeit des Halteproblems (Selbsteingabe)

Die Menge

ist nicht -entscheidbar.