语法制导翻译概述

绝地灬酷狼 2022-02-02 12:27 161阅读 0赞

### 文章目录 ###

*  部分概念
 *   *  语义翻译
     *  语法制导翻译
 *  语法制导翻译的基本思想
 *  语法制导翻译的相关概念
 *   *  语法制导定义（Syntax-Directed Definitions,SDD）
     *  语法制导翻译方案（Syntax-Directed Translation Scheme,SDT）
 *  SDD与SDT
 *   *  SDD
     *  SDT

# 部分概念 #

## 语义翻译 ##

语义分析的结果通常用中间代码来表示，于是语义分析与中间代码生成这**两个步骤合称语义翻译**。

## 语法制导翻译 ##

可以在语法分析的同时进行语义翻译，这一技术称为**语法制导翻译**。

注：语法制导翻译使用CFG（上下文无关文法）来引导对语言的翻译，是一种**面向文法**的翻译技术。

# 语法制导翻译的基本思想 #

*  如何表示语义信息？
    
     *  为CFG中的**文法符号**设置**语义属性**，用来表示语法成分对应的**语义信息**。
     *  例如对于一个变量，**它的语义属性可以有变量的值，变量的类型等等。**
 *  如何计算语义属性？
    
     *  文法符号的语义属性值使用与文法符号所在产生式（即语法规则）**相关联的语义规则**来计算的。
     *  对于给定的输入串`x`，构建`x`的语法分析树，病利用与产生式（语法规则）相关联的语义规则来计算分析树中个节点对应的**语义属性值**。

# 语法制导翻译的相关概念 #

将语义规则同语法规则（产生式）联系起来要涉及两个概念。

## 语法制导定义（Syntax-Directed Definitions,SDD） ##

*  **SDD是对上下文无关文法（CFG）的推广**
    
     *  将每个**文法符号**和一个**语义属性**集合相关联
     *  将每个**产生式**和一组**语义规则**相关联，这些规则用于计算该产生式中各文法符号的属性值。
 *  如果`X`是一个文法符号，`a`是`X`的一个属性，则用`X.a`来表示属性`a`在某个标号为`X`的分析树节点上的值。**（X可以为终结符或非终结符）**

![image][]

## 语法制导翻译方案（Syntax-Directed Translation Scheme,SDT） ##

*  SDT是在产生式右部嵌入了程序片段的CFG，这写程序片段称为**语义动作**。按照惯例，**语义动作放在花括号内。**

![image][image 1]

注：**一个语义动作在产生式中的位置决定了这个动作的执行时间。**

# SDD与SDT #

## SDD ##

*  是关于语言翻译的高层次规格说明
 *  隐蔽了许多具体实现细节，使用户不必显式的说明翻译发生的顺序。

## SDT ##

*  可以看做是对SDD的一种补充，是SDD的具体实施方案。
 *  显式的指明了予以规则的计算顺序，以便说明某些实现细节。

[image]: http://note.youdao.com/yws/res/11156/3D990011512E43E4B70488A4E237BC90
[image 1]: http://note.youdao.com/yws/res/11164/CE21DF6140534F6B97C2F36DBEFEB48C