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.