语法制导定义SDD

语法制导定义SDD是编译原理中的一个概念,它扩展了上下文无关文法,将每个文法符号与语义属性集合关联,并通过语义规则计算产生式中符号的属性值。综合属性由子节点或自身属性值定义,通常用于非终结符;而继承属性则通过父节点、兄弟节点或自身属性值定义,仅存在于非终结符中。属性文法无副作用,其规则基于其他属性值和常量定义属性。
摘要由CSDN通过智能技术生成

概念

  • 语法制导定义SDD是对CFG的推广
    • 将每个文法符号和一个语义属性集合相关联
    • 将每个产生式和一组语义规则相关联,用来计算该产生式中各文法符号的属性值

文法符号的属性

综合属性

  • 在分析树节点N上的非终结符A综合属性只能通过N的子节点或N本身的属性值来定义。

image

  • 终结符可以具有综合属性,终结符的综合属性值是由词法分析器提供词法值,因此在SDD中没有计算终结符属性值得语义规则。

继承属性

  • 在分析树节点N上的非终结符A的继承属性只能通过N的父节点、N的兄弟节点或N本身的属性值来定义

image

注:终结符没有继承属性。终结符从词法分析器处获得的属性被归为综合属性值。

例子

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值