Original: Since formal languages alone do not have semantics , other formal constructs are needed for the formal specification of program semantics .
Simplified: the set of inputs upon which a certain Turing machine halts .