SDD与SDT的区别

SDD与SDT的区别

这里拷贝了哈工大的SDD与SDT定义

SDD与SDT的区别:

• SDD
  • 是关于语言翻译的高层次规格说明
  • 隐蔽了许多具体实现细节，使用户不必显式地说明翻译发生的顺序
• SDT
  • 可以看作是对SDD的一种补充，是SDD的具体实施方案
  • 显式地指明了语义规则的计算顺序，以便说明某些实现细节

身为计算机系的学生,如果觉得概念难以理解,便用例子加以理解.

例如,对于乘法的消除左递归的CFG
$$\begin{gathered} T\to F{T}^{{}^{\prime }} \\ {T}^{{}^{\prime }}\to \ast F{T}^{{}^{\prime }} \\ {T}^{{}^{\prime }}\to \epsilon \\ F\to digit \end{gathered}$$
对于产生式$T^{{}^{\prime }}\to \ast F{T}^{{}^{\prime }}$,其对应的SDD为

$T^{{}^{\prime }}\to \ast F{T}_1^{{}^{\prime }}$	$T_1^{\prime }\cdot inh=T^{\prime }.inh\times F.val$ $T^{\prime }\cdot syn=T_1^{\prime }\cdot syn$

而其SDT则为
T ′ → ∗ F { s t a c k [ t o p + 3 ] . T ′ i n h = s t a c k [ t o p ] . i n h ; } T 1 ′ { s t a c k [ t o p ] = s t a c k [ t o p + 6 ] } T^{\prime} \rightarrow^{*} F\left\{ stack[top+3].T^{'}inh =stack[top].inh;\right\} T_{1}^{\prime}\left\{stack[top]=stack[top+6]\right\} T′→∗F{stack[top+3].T′inh=stack[top].inh;}T1′​{stack[top]=stack[top+6]}
SDD说明在语法分析阶段应用该产生式时,$T_1^{{}^{\prime \prime }}$通过继承属性$inh$将$T$和$F$的值继承下去,从而传递给其他节点.同时在计算结束后通过综合属性$syn$将结果返回给$T^{{}^{\prime }}$.(具体见龙书5.1.2 中对继承属性与综合属性作用的阐释)

而SDT则给出了具体的实现方案,即通过对扩展语法分析栈的操作实现.

总结一下,语法制导定义更加易读,因为它在更高的层次上指出了语法翻译的任务,而SDT则具体给出了SDD的实现,例如何时计算,如何计算这些细节.