【编译原理笔记08】语法制导翻译：语法制导定义，SSD的求值顺序，S属性定义与L属性定义 |
您所在的位置：网站首页 › 什么叫做嵌套定义的概念和特点 › 【编译原理笔记08】语法制导翻译：语法制导定义，SSD的求值顺序，S属性定义与L属性定义 |
【编译原理笔记08】语法制导翻译：语法制导定义，SSD的求值顺序，S属性定义与L属性定义
|
本次笔记内容： 5-1 语法制导翻译概述 5-2 语法制导定义 5-3 SSD的求值顺序 5-4 S属性定义与L属性定义 本节课幻灯片，见于我的 GitHub 仓库：第8讲 语法制导翻译_1 文章目录 语法制导翻译概述 什么是语法制导翻译 语法制导翻译的基本思想 语法制导定义（SDD） 语法制导翻译方案（SDT） SDD与SDT 语法制导定义SDD 综合属性(synthesized attribute) 继承属性(inherited attribute) 例：带有综合属性的SDD 例：带有继承属性L.in的SDD 属性文法(Attribute Grammar) SDD的求值顺序 依赖图(Dependency Graph) 属性值的计算顺序 S-属性定义与L-属性定义 S-属性定义 L-属性定义 语法制导翻译概述 什么是语法制导翻译
如何表示语义信息？ 为CFG中的文法符号设置语义属性，用来表示语法成分对应的语义信息如何计算语义属性？ 文法符号的语义属性值是用与文法符号所在产生式（语法规则）相关联的语义规则来计算的 对于给定的输入串x ，构建x的语法分析树，并利用与产生式（语法规则）相关联的语义规则来计算分析树中各结点对应的语义属性值将语义规则同语法规则（产生式）联系起来要涉及两个概念： 语法制导定义(Syntax-Directed Definitions, SDD ) 语法制导翻译方案(Syntax-Directed Translation Scheme , SDT ) 语法制导定义（SDD）SDD是对CFG的推广: 将每个文法符号和一个语义属性集合相关联 将每个产生式和一组语义规则相关联，这些规则用于计算该产生式中各文法符号的属性值如果X是一个文法符号，a是X的一个属性，则用X.a表示属性a在某个标号为X的分析树结点上的值。
SDT是在产生式右部嵌入了程序片段的CFG，这些程序片段称为语义动作。按照惯例，语义动作放在花括号内。 |
语法制导翻译使用上下文无关文法CFG来引导对语言的翻译，是一种面向文法的翻译技术。
如上，我们为 L 设置了一个属性 inh ，为 T 定义了一个属性 type ；由第一个产生式可以看出，L 的 inh 属性是由 T 的 type属性定义的。对于第四个产生式，用下角标区分两个规则。【本文地址】
公司简介
联系我们
今日新闻 |
点击排行 |
|
推荐新闻 |
图片新闻 |
|
专题文章 |