Sei T eine Turingmaschine, die für jede Eingabe hält.
Man kann eine Turingmaschine T' konstruieren, die bei Eingabe von Wörtern w ∈ L(T) akzeptierend hält und auf Wörtern w' ∉ L(T) nicht hält.
Wegen L(T') = L(T) ist L(T') entscheidbar. Aber T' hält nicht auf allen Eingaben.
