Halteproblem/Registermaschine/Unentscheidbarkeit/Fakt

Aus Wikiversity
Unentscheidbarkeit des Halteproblems

Die Menge

ist nicht -entscheidbar.