Original: Since formal languages alone do not have semantics, other formal constructs are needed for the formal specification of program semantics.
Simplified: Specification