语法定向翻译中的S-属性和L-属性SDT

SDT是属性值传递的语法制导翻译技术，它是编译原理中使用最广泛的语法翻译技术之一。S-属性SDT和L-属性SDT是两种常见的SDT类型。

SDT概述

SDT全称为“语法制导翻译（Syntax Directed Translation）”，是指从上下文无关文法产生式（BNF/EBNF）中构造出一棵语法分析树，同时对其进行语义属性的计算和传递的技术。SDT技术在编译原理中有着重要的应用，可以用于生成中间代码、解释执行等任务。

S-属性SDT

S-属性SDT是一种广义SDT，其语法制导属性只依赖于产生式的右部，而不依赖于左部。这种属性可以在语法分析树上自下向上计算和传递，非常适合于生成中间代码。S-属性SDT的特点是属性计算顺序只与右部的符号顺序有关，与产生式无关。

L-属性SDT

L-属性SDT是一种限制SDT的形式，其语法制导属性依赖于产生式的左部和右部，主要用于生成代码的实际地址和寄存器分配。L-属性SDT的特点是属性计算顺序与产生式有关，需要在语法分析树上进行上下文推导。

SDT例子

以下是一个简单的SDT例子，用于将表达式转换为后缀表达式并计算值。

expr → expr + term {
  expr.val := expr.val+' '+term.val+' +';
  expr.res := expr.res + term.res;
}
expr → expr - term {
  expr.val := expr.val+' '+term.val+' -';
  expr.res := expr.res - term.res;
}
expr → term {
  expr.val := term.val;
  expr.res := term.res;
}
term → term * factor {
  term.val := term.val+' '+factor.val+' *';
  term.res := term.res * factor.res;
}
term → factor {
  term.val := factor.val;
  term.res := factor.res;
}
factor → ( expr ) {
  factor.val := '('+expr.val+')';
  factor.res := expr.res;
}
factor → ID {
  factor.val := ID.val;
  factor.res := ID.value;
}
factor → NUM {
  factor.val := NUM.val;
  factor.res := NUM.value;
}

以上例子是一个S-属性SDT，用于将表达式转换为后缀表达式并计算值。通过对语法分析树进行自下向上的属性计算和传递，可以得到最终的表达式字符串和计算结果。

总结

S-属性SDT和L-属性SDT都是常见的SDT类型，在编译原理中有着重要的应用。S-属性SDT适合于生成中间代码，而L-属性SDT适合于生成代码的实际地址和寄存器分配。无论是哪种类型的SDT，都需要在语法分析树上进行属性计算和传递，这就需要对编译原理有着深入的理解和思考。