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

创始人

2024-04-11 16:42:50

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

语法制导翻译
- 语法制导定义(属性文法)
- 翻译模式
- - 后缀式
  - 图示表示法
  - 构建表达式的语法树
中间代码的种类
- 三地址码
- 四地址码
- 对比
- 举例
中间代码产生的场景
- 说明语句的翻译
- 举例
嵌套说明语句的翻译方案
- 相关定义
- 举例
- 过程嵌套声明
记录的说明
- 记录说明的翻译
- 记录域的偏移
- 举例
赋值语句的翻译
- 含简单变量的赋值语句的翻译
- 举例
数组元素的翻译
- 数组类型的声明
- 数组元素的地址计算
- 举例
- 输入串的分析树
- 翻译方案
- 举例

语法制导翻译

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

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

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

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

翻译模式

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

后缀式

在这里插入图片描述

图示表示法

在这里插入图片描述

构建表达式的语法树

在这里插入图片描述

中间代码的种类

在这里插入图片描述

三地址码

在这里插入图片描述

四地址码

在这里插入图片描述

对比

在这里插入图片描述

举例

在这里插入图片描述

中间代码产生的场景

在这里插入图片描述

说明语句的翻译

在这里插入图片描述

举例

在这里插入图片描述

嵌套说明语句的翻译方案

在这里插入图片描述

相关定义

在这里插入图片描述

举例

在这里插入图片描述

在这里插入图片描述

过程嵌套声明

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

记录的说明

在这里插入图片描述

记录说明的翻译

在这里插入图片描述

记录域的偏移

在这里插入图片描述

举例

在这里插入图片描述

赋值语句的翻译

在这里插入图片描述

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

在这里插入图片描述

举例

在这里插入图片描述

在这里插入图片描述

数组元素的翻译

数组类型的声明

在这里插入图片描述

数组元素的地址计算

在这里插入图片描述

举例

在这里插入图片描述

输入串的分析树

在这里插入图片描述

翻译方案

在这里插入图片描述

举例

在这里插入图片描述

上一篇：面向对象（高级）

下一篇：TiDB数据库概述——PD

相关内容

热门资讯

三千多个平安“针脚”织就善治新... 转自：法治日报“蒜鸟蒜鸟（方言，意为‘算了’），都不容易”“莫急鸟，消消气”……走进湖北省武汉市汉阳...

徒步画马不能信马由缰转自：京报网_北京日报官方网站【#徒步画马不能信马由缰...

“黑车”三次撞击、拖行百米！沈... 本文转自【辽沈晚报】；1月14日上午10时40分许沈阳北站北广场博客超市前一场守法执法与暴力抗法...

神二十返回关键流程完全依赖地面... 本文转自【央视新闻客户端】；今天（19日）9时34分，神舟二十号飞船返回舱在东风着陆场成功着陆。经现...

12月70城房价出炉，长沙新房... 00:14华声在线1月19日讯（全媒体记者卜岚通讯员王叮琳）今日，国家统计局发布去年12月...