8.6 控制语句的翻译 8.6.1条件转移 考虑if then,if then else和while do语句,在图8.12中已给出了它们的代码结构。这里我们使用下面文法G[S]定义这些语句: G[S] (1) S→if E then S (2) | if E then S else S (3) | while E do S (4) | begin L end (5) | A (6) L→L; S (7) |S 其中各非终结符号的意义是: S--语句 L--语句串 A--赋值句 E--布尔表达式 |