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