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.