Registermaschine/Entscheidbarkeit und Aufzählbarkeit/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Teilmenge von natürlichen Zahlen. Zeige, dass genau dann -entscheidbar ist, wenn sowohl als auch das Komplement -aufzählbar ist.

Zur Lösung, Alternative Lösung erstellen