编译原理—语义分析、语法制导翻译、翻译模式、数组元素的翻译、中间代码生成

之墨_

已于 2022-11-26 22:48:42 修改

阅读量1.9k

点赞数 3

分类专栏：编译原理笔记知识回顾文章标签：编译原理语法制导中间代码

于 2022-11-23 11:30:33 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/weixin_56462041/article/details/127994761

版权

笔记同时被 3 个专栏收录

182 篇文章 31 订阅

订阅专栏

30 篇文章 16 订阅

订阅专栏

26 篇文章 2 订阅

订阅专栏

编译原理—语义分析、语法制导翻译、翻译模式、数组元素的翻译、中间代码生成

语法制导翻译
中间代码的种类
中间代码产生的场景
- 说明语句的翻译
- 举例
嵌套说明语句的翻译方案
记录的说明
赋值语句的翻译
- 含简单变量的赋值语句的翻译
- 举例
数组元素的翻译

语法制导翻译

L属性文法包含S属性文法
- S属性：sythesis综合属性
- L属性：left to right继承属性
- LL属性一定是LR属性的，LL文法一定是LR文法的，可以用LL自顶向下的方法分析L属性文法，L属性文法中有一些是可以自下而上分析的，因此LR不一定能够解决L属性文法，LL可以解决的问题LR不一定能够解决
语法分析中进行静态语义检查和中间代码生成的技术称为语法制导翻译技术;

语法制导定义(属性文法)

引入语法制导定义的目的:
- 为了将语义属性关联到文法符号:
- 为了将语义规则关联到产生式:
- 有效地将语法和语义关联起来。

为相应的语法成分设置表示语义的属性，属性的值是可以计算的。
根据属性值计算的关联关系，将其分成综合属性和继承属性;
根据属性文法中所含的属性将属性文法分成:
- S-属性文法和L-属性文法;

翻译模式

不仅将语义属性关联到文法符号、将语义规则关联到产生式，而且还通过将语义动作嵌入到产生式的适当位置来表达该语义动作的执行时机。
翻译模式给语义分析的实现提供了更好的支持。

后缀式

在这里插入图片描述

图示表示法

在这里插入图片描述

构建表达式的语法树

在这里插入图片描述

中间代码的种类

在这里插入图片描述

三地址码

在这里插入图片描述

四地址码

在这里插入图片描述

对比

在这里插入图片描述

举例

在这里插入图片描述

中间代码产生的场景

在这里插入图片描述

说明语句的翻译

在这里插入图片描述

举例

在这里插入图片描述

嵌套说明语句的翻译方案

在这里插入图片描述

相关定义

在这里插入图片描述

举例

在这里插入图片描述

在这里插入图片描述

过程嵌套声明

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

记录的说明

在这里插入图片描述

记录说明的翻译

在这里插入图片描述

记录域的偏移

在这里插入图片描述

举例

在这里插入图片描述

赋值语句的翻译

在这里插入图片描述

含简单变量的赋值语句的翻译

在这里插入图片描述

举例

在这里插入图片描述

在这里插入图片描述

数组元素的翻译

数组类型的声明

在这里插入图片描述

数组元素的地址计算

在这里插入图片描述

举例

在这里插入图片描述

输入串的分析树

在这里插入图片描述

翻译方案

在这里插入图片描述

举例

在这里插入图片描述

关注

3
点赞
踩
27

收藏

觉得还不错? 一键收藏
打赏
0
评论
编译原理—语义分析、语法制导翻译、翻译模式、数组元素的翻译、中间代码生成

引入语法制导定义的目的:为了将语义属性关联到文法符号:为了将语义规则关联到产生式:有效地将语法和语义关联起来。为相应的语法成分设置表示语义的属性，属性的值是可以计算的。根据属性值计算的关联关系，将其分成综合属性和继承属性;根据属性文法中所含的属性将属性文法分成:S-属性文法和L-属性文法;
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

打赏作者

之墨_ 你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20

扫码支付：¥1

获取中

扫码支付

您的余额不足，请更换扫码支付或充值

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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