编译原理-17-SDT

Sematics2-SDT

1. Definition (语法制导的翻译方案(Syntax-Directed Translation Scheme;SDT))

SDT是在其产生式体中嵌入语义动作的上下文无关文法。

1. 语义动作可以嵌入在产生式体中的任何地方

上图中表示满足生成式后执行操作

1. 上图中第2和4条表示先打印再匹配
2. 前缀表达式SDT

1. 语义动作嵌入的位置决定了何时执行该动作
2. 基本思想: 一个动作在它左边的所有文法符号都处理过之后立刻执行

1.1. 时机

1. Q:如何将SDD中的语义规则转换为带有语义动作的SDT

2. Q:如何以三种方式实现SDT?

1.1.1. Offline 方式: 已有语法分析树

1. 按照从左到右的深度优先顺序遍历语法分析树
2. 基本思想: 一个动作在它左边的所有文法符号都处理过之后立刻执行

1.1.2. 嵌入语义动作虚拟节点的语法分析树

语义动作也可以作为一个节点

1. 基本思想:一个动作在它左边的所有文法符号都处理过之后立刻执行
2. Q:是否所有的SDT都可以在LL/LR语法分析过程中实现

1.1.3. 该SDT无法在LL(1)/LR(1)中实现

1. 前缀表达式SDT它需要在还不知道出现在输入中的运算符号是∗还是+时,就执行打印这些符号的操作

2. Q：:如何判断某SDT是否可以在LL/LR语法分析过程中实现?
3. 将每个内嵌的语义动作A替换为一个独有的非终结符M，添加新产生式M→ε，判断新产生的文法是否可用LL/LR进行分析

1.2. 前缀表达式SDT

$\begin{array}{l} M2 \rightarrow \epsilon \\ M4 \rightarrow \epsilon \\ M7 \rightarrow \epsilon \\ \end{array} ?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$

$M2 \rightarrow ·,(/digit?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$是通过计算$First(E)?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$得到的

2. SDT

2.1. 后缀翻译方案

1. 后缀翻译方案:所有动作都在产生式的最后在LR中,按某个产生式归约时,执行相应动作

1. 移入时,携带终结符的属性
2. 归约时,计算A的属性值并入栈

2.2. L属性定义与LL语法分析

$A \rightarrow X_1···X_i···X_n ?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$

1. 原则:从左到右处理各个Xi符号对每个Xi,先计算继承属性,后计算综合属性

2.3. 递归下降子过程 A → X 1 ⋅ ⋅ ⋅ X i ⋅ ⋅ ⋅ X n A \rightarrow X_1···X_i···X_n A→X1⋅⋅⋅Xi⋅⋅⋅Xn

1. 在调用$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$子过程之前,计算$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$的继承属性
2. 以$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$的继承属性为参数调用$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$子过程
3. 在$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$子过程返回之前,计算$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$的综合属性
4. 在$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$子过程中返回$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$的综合属性

$X.x?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$表示的是$X?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$的综合属性，以此类推

2.4. 继承属性R.i用于计算并传递中间结果

1. 先计算继承属性,再计算综合属性

原则:继承属性在处理文法符号之前,综合属性在处理文法符号之后

开始节点不可能有继承属性

3. L属性定义转换为SDT

$A \rightarrow X_1···X_i···X_n ?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$

1. 计算$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$继承属性的动作放在产生式体中$X_i?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$的左边
2. 计算产生式头部$A?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_30,g_se,x_10,y_10,shadow_20,type_ZmFuZ3poZW5naGVpdGk=$综合属性的动作放在产生式体的最右边