Original: the set of inputs upon which a certain Turing machine halts ; or
Simplified: the set of inputs upon which a certain Turing machine halts .