Formal semantics, for instance, helps to write compilers, better understand what a program is doing, and to prove, e.g., that the following if statement if 1 == 1 then S1 else S2 has the same effect as S1 alone.
На пример, формална семантика олакшава писање компилатора, боље разумевање тога шта програм ради као и доказивање на пример тога да следећа наредба: if 1 = 1 then S1 else S2 има исти ефекат као само S1.