Ein Beweis von Entscheidbar (Berechenbarkeit und Komplexität)?
Ich würde gern wissen, wie man diese Aussage "Wenn X semi-entscheidbar ist und Y entscheidbar ist, dann ist X \ Y semi-entscheidbar" zeigen kann.
Kann jmd bitte einmal beweisen, der gut auf Entscheidbarkeit ist?