📅 最后修改于: 2020-12-06 07:30:20 🧑 作者: Mango
在产品A→α中，A.CODE的转换规则由α中非末端的CODE转换的串联组成，其顺序与α中非末端出现的顺序相同。
生产可以考虑实现后缀形式。
生产
S → while M1 E do M2 S1
可以分解为：
S → C S1
C → W E do
W → while
合适的过渡方案是
| Production Rule | Semantic Action |
|---|---|
| W → while | W.QUAD = NEXTQUAD |
| C → W E do | C W E do |
| S→ C S1 | BACKPATCH (S1.NEXT, C.QUAD) S.NEXT = C.FALSE GEN (goto C.QUAD) |
生产
S for L = E1 step E2 to E3 do S1
可以作为
F → for L
T → F = E1 by E2 to E3 do
S → T S1