语法制导定义 SDD

语法制导定义SDD是对于上下文无关语法CFG 的一个推广：

将每个产生式和一组语义规则相关联，用来计算该文法产生式中每个文法符号的属性值。
将每个文法符号和一个语义属性集合相关联。

也就是说，SDD为CFG的每个文法符号设置了一个语义属性，对于给定的输入串x，SDD可以分析出语法分析树中每一个节点的属性值。

问法符号的属性包括：综合属性和继承属性。

所谓综合属性，指的是：分析数节点N上的非终结符A的综合属性只能通过N的子节点或者N本身的属性决定。

比如说这里面的产生式E -> E1 +T. 对于这个产生式的语法分析树我们看出来，这里面E的val属性值只由他的子节点E1和T的属性值val决定。所以E的val就是一个综合属性。

所谓继承属性，指的是N上的非终结符A的继承属性只能由N的父节点，N的兄弟节点和N本身的属性决定。

比如上面的例子中，在产生式的语法分析树中我们能够看出，L的inh属性是由T的type属性决定的，而T是L的兄弟节点，所以这个是继承属性。

我举一个例子：

上图中表示每一个产生式对应的语义规则，可以看出这是一个加法和乘法的语义规则。通过上面的sdd就可以根据语义规则来计算语法分析树上各个节点的属性值了，以算术表达式求值 3*5+4n为例：

从上面语法分析树中的最下面的叶节点可以看出，数字的值lexval分别是3,5和4，那么一步一步向上，由语义规则中的F.val = digit.lexval可知，每个因子的值由数字的值决定，所以可以向上构建上层节点的值F.val分别是3,5,4. 在往上看，由T.val = F.val可知，终结符的val由因子的val决定，所以计算再上层的T.val也分别是3，5，4。再计算乘法和加法的终结符属性值，最终算出来E.val = 19 以及n。L为打印输出，最终输出了结果，语法分析树的各个节点的值就是这么自底向上算出来的。

语法制导定义 SDD相关推荐

【编译原理笔记08】语法制导翻译：语法制导定义，SSD的求值顺序，S属性定义与L属性定义
本次笔记内容: 5-1 语法制导翻译概述 5-2 语法制导定义 5-3 SSD的求值顺序 5-4 S属性定义与L属性定义本节课幻灯片,见于我的 GitHub 仓库:第8讲语法制导翻译_1 文章目录 ...
【编译原理】第五章语法制导翻译
第五章语法制导翻译 5.1 语法制导翻译概述将语义分析和中间代码生成统称为语义翻译,而语义翻译和语法分析统称为语法制导翻译语法制导翻译使用CFG来引导对语言的翻译, 是一种面向文法的翻译技术. ...
编译原理（5）：语法制导翻译
声明:本系列文章,是根据中国大学MOOC网哈工大的编译原理这门课学习而成的学习笔记. 一.语法制导翻译概述什么是语法制导翻译语法制导翻译的基本思想两个概念语法制导定义(SDD) 语法制导翻 ...
编译原理-语法制导翻译
文章目录概念语法制导翻译的基本思想 SDD && SDT 语义规则文法属性(S,L) SDD 注释分析树(注释语法树) 副作用抽象语法树( AST ) SDD的实现方法 SDT ...
编译原理（十）语法制导翻译
语法制导定义 Syntax-Driect Definition SDD 语法制导的翻译方案Syntax-driected translation scheme SDT,可以看作SDD的具体实现方案,S ...
语法制导翻译（Syntax-Directed Translation）
语法制导翻译(Syntax-Directed Translation) 语法制导翻译概述语法制导定义(SDD) 文法符号的属性 SDD 求值顺序 S-SDD 和 L-SDD 语法制导翻译方案(SDT ...
编译原理－－语法制导的翻译
前言把一些属性附加到代表语言构造的文法符号上, 以把信息和一个语言的构造联系起来．通过语义规则来说明文法符号的属性值如何确定．产生式语义规则 E -> E_{1} + T E.code ...
编译原理：语法制导翻译
一,语法制导定义属性文法是在上下文无关文法的基础上为每个文法符号(终结符或非终结符)配备若干个相关的"值"(称为属性) 文法表示三元组:A=(G,V,F) G:是一个上下文无 ...
【编译原理复习】第六章---- 属性文法和语法制导翻译
第六章属性文法和语法制导翻译本章主要掌握下面一些内容. 1.语义规则的两种描述方法:语法制导的定义和翻译方案.语法制导的定义没有指明语义规则的计算次序,而翻译方案显式给出语义规则( 或叫语义动作) ...

语法制导定义 SDD

语法制导定义 SDD相关推荐

最新文章

热门文章