Halteproblem/Registermaschine/Unentscheidbarkeit/Fakt/Name/Inhalt

Aus Wikiversity

Die Menge

ist nicht -entscheidbar.