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--布尔表达式