S-属性
定义
仅仅使用综合属性的SDD称为S属性的SDD，或S-属性定义、S-SDD。
例如：
- 如果一个SDD是
S属性的，可以按照语法分析树节点的任何自底向上顺序来计算它的各个属性值 - S-属性定义可以在自底向上的语法分析过程中实现
L-属性
定义
- 直观含义：在一个产生式所关联的各属性之间，依赖图的边可以从左到右，但不能从右到左。
- 正式定义：一个SDD是L-属性定义，当且仅当它的每个属性要么是一个综合属性，要么是满足如下条件的继承属性：假设存在一个产生式
$A\rightarrow{X_1X_2...X_n}$其右部符号$X_i$的继承属性仅依赖于下列属性：- A的继承属性
- 产生式中
$X_i$左边的符号$X_1,X_2,...,X_{i-1}$的属性 $X_i$本身的属性，但$X_i$的全部属性不能在依赖图中形成环路
注：每个S-属性定义都是L-属性定义
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
如需转载请保留出处：https://bianchenghao.cn/bian-cheng-ji-chu/87124.html