基于语义动作的翻译模式重构

目标模式:

A → X { R.继承属性 := f(X.属性) } R { A.属性 := R.综合属性 }

R → Y { R1.继承属性 := g((R.继承属性), Y.属性) } R1 { R.综合属性 := R1.综合属性 }

R → ε { R.综合属性 := R.继承属性 }

说明:

  • 上述转换后的翻译模式,利用了中间符号 R 的继承属性和综合属性。
  • 其中,函数 f() 和 g() 用于语义计算。
  • 该模式可应用于递归下降翻译器的设计和自底向上计算继承属性。