作为例子的核心编程语言 。语法 -整数表达式 E::=n x-EE+EE-EE*EE 布尔表达式 B::=true false !BBBBB E<E (B) 一命令 C::=x=E C;C if BC}else{C while B{C -例子 y=1;z=0;while Z!=x)z=z+1;y=y *Z作为例子的核心编程语言 • 语法 – 整数表达式 E ::= n | x | −E | E + E | E − E | E  E | ( E ) – 布尔表达式 B ::= true | false | !B | B & B | B || B | E < E | ( B ) – 命令 C ::= x = E | C ; C | if B { C } else { C } | while B { C } – 例子 y = 1; z = 0; while (z != x) { z = z +1; y = y  z }