语法制导翻译方案SDT

淩亂°似流年 2022-01-31 06:43 245阅读 0赞

### 文章目录 ###

*  概念
 *  将S-SDD转换为SDT
 *  S-SDD的SDT实现
 *  将L-SDD转换为SDT
 *  L-SDD的SDT实现

# 概念 #

语法制导翻译方案SDT是在**产生式右部**嵌入了程序片段（称为**语义动作**）的CFG

例如：  
![image][]

SDT可以看做是SDD的具体实施方案。

在两种情况下，SDT可以在语法分析过程中实现：

*  基本文法可以使用LR分析技术，且SDD为S属性
 *  基本文法可以使用LL分析技术，且SDD为L属性

# 将S-SDD转换为SDT #

将一个S-SDD转换为SDT的方法就是**将每个语义动作都放在产生式的最后**。

例如：

![image][image 1]

# S-SDD的SDT实现 #

如果一个S-SDD的基本文法可以使用LR分析技术，那么它的SDT可以在LR语法分析过程中实现。

![image][image 2]

![image][image 3]

![image][image 4]

# 将L-SDD转换为SDT #

*  将计算某个非终结符号A的**继承属性**的动作插入到产生式右部中紧靠在A的**本次出现之前**的位置上
 *  将计算一个产生式左部符号的**综合属性**的动作放置在这个产生式右部的**最右端**。

![image][image 5]

# L-SDD的SDT实现 #

如果一个L-SDD的基本文法可以使用LL分析技术，那么它的**SDT可以在LL或LR语法分析过程**中实现。

![image][image 6]

由于上述文法的`SELECT`集互不相交，所以该文法是一个LL文法，所以这个L-SDD可以在LL或LR语法分析过程中实现。

[image]: http://note.youdao.com/yws/res/11657/ED52637EAEAA4E2AA39C9FAED3E6B0BE
[image 1]: http://note.youdao.com/yws/res/11667/633AB20487464746B2A0F5B9A13FA3D0
[image 2]: http://note.youdao.com/yws/res/11683/23EE29DCAD7B415F8D1DB3B1C4BB514B
[image 3]: http://note.youdao.com/yws/res/11685/EDADFD9A9692404EA9A1CD4EF4995F16
[image 4]: http://note.youdao.com/yws/res/11671/DD0B24CE00AD40E9810A7A470F2C79DE
[image 5]: http://note.youdao.com/yws/res/11688/95E9BDEC7DD64D2288E3A04E69396081
[image 6]: http://note.youdao.com/yws/res/11693/5C1684BD63754AB192A461DC5A91C54E