5.2 Kerneli语言 5.2.2表达式的解释 在文法中，M和B分别代表val和bool表达式 P::=x:=M P;P if B then P else P while B do P od 不深入表达式的内部细节 -为方便起见，把val看作nat 一允许普通的数值和布尔运算5.2 Kernel语言 5.2.2 表达式的解释 • 在文法中，M和B分别代表val和bool表达式 P ::= x := M | P ; P | if B then P else P | while B do P od • 不深入表达式的内部细节 – 为方便起见，把val看作nat – 允许普通的数值和布尔运算