Question:

1 Language specification 1.1 The While Language The syntax of While is defined as follows: a ne l a l a1 a2 a1 a2 I a1 a2 by A b a S a. true false a1 a2 S a l skip S1; S2 if b S1 S. I while to S The semantics of arithmetic expressions is defined by function AI a A a State Z In I(s) (ar) 8 a1 a2 (s) A a1 (s) a2 (s) A a21(s) A a1 (8) X 10s) A a 1 (s) a2 (s) a1 a2 The semantics of boolean expressions is defined by function B b BI b State T BI true (s) true B false (s) false a2 Cs) JAL a1 J (s) AL a2 (s) (11 (s) a1 BD -b] (s) BI (s) false BI b1 A b2 (s)