后缀翻译

本文概述

  • while语句的后缀翻译
  • for语句的后缀翻译
在产品A→α中, A.CODE的转换规则由α中非末端的CODE转换的串联组成, 其顺序与α中非末端出现的顺序相同。
生产可以考虑实现后缀形式。
while语句的后缀翻译生产
S→while M1 E do M2 S1

可以分解为:
S →C S1C →W E doW →while

合适的过渡方案是
生产规则 语义动作
W→而 W.QUAD =下一阶
C→W E做
S→C S1 BACKPATCH(S1.NEXT, C.QUAD)S.NEXT = C.FALSE GEN(转到C.QUAD)
for语句的后缀翻译生产
Sfor L = E1 step E2 to E3 do S1

【后缀翻译】可以作为
F →for LT→F = E1 by E2 to E3 doS→T S1

    推荐阅读