定义
基本思想是将语言结构的语义以属性的形式赋予代表此结构的文法符号,而属性的计算以语义规则的形式赋予由文法符号组成的产生式。
文法符号的属性:
1、综合属性
综合属性从子孙和自身的其他属性计算得到
综合属性"自下而上,包括自身"
终结符可以具有综合属性,没有继承属性
2、 继承属性
继承属性从祖先和兄弟的属性计算得到
继承属性"自上而下,包括兄弟"
两个概念
SDD与SDT
SDD:
是关于语言翻译的高层次规格说明;
隐蔽了许多具体实现细节,使用户不必显式地说明翻译发生的顺序
SDT:
可以看作是对SDD的一种补充,是SDD的具体实施方案;
显式地指明了语义规则的计算顺序,以便说明某些实现细节
语法制导定义(SDD)
SDD的求值顺序——依赖图(Dependency Graph)
S-属性定义与L-属性定义
L-属性定义
引用于https://blog.csdn.net/weixin_44226857/article/details/104283232