编译原理笔记【第八章 语义分析】

最新推荐文章于 2023-12-21 09:13:30 发布
最新推荐文章于 2023-12-21 09:13:30 发布
阅读量6k 收藏 37
点赞数 9
分类专栏： 编译原理 文章标签： 编程语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_43488958/article/details/106215739
版权

文章目录

第一节 语义分析概述

1.1 语义分析的任务

语义检查
一致性检查（数据类型是否一致、操作是否合法）
越界检查（数组维数是否正确、下标是否越界）

语义处理
说明语句的翻译（相关信息登记到符号表中）
执行语句的翻译（生成等价的中间代码）

1.2 语义分析和语法分析

语法分析只能判断一个句子是否合法，不能给出句子的含义。
句子的含义是通过语义分析提现出来的。

在这里插入图片描述

在这里插入图片描述

1.3 语义值

在这里插入图片描述

1.4 语义动作和语义子程序

在这里插入图片描述
在这里插入图片描述

1.5 翻译

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

1.6 三地址码

一种中间代码

在这里插入图片描述
实例

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

第二节 说明语句的翻译

即变量说明语句

2.1 例子

int a, b;
float f1, f2;

2.2 语法规则

在这里插入图片描述

2.3 语义分析目标

在这里插入图片描述

2.4 语义子程序

在这里插入图片描述

2.5 语法分析过程

在这里插入图片描述

2.6 语义分析过程

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

第三节 赋值语句的翻译

3.1 语法规则

在这里插入图片描述

3.2 语义分析目标

在这里插入图片描述

3.3 语义子程序

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

3.4 语法分析过程

在这里插入图片描述

3.5 语义分析过程

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

第四节 goto语句的翻译

4.1 语法规则

在这里插入图片描述

4.2 语义分析目标

在这里插入图片描述

4.3 语义子程序

在这里插入图片描述

4.4 语法分析过程

在这里插入图片描述

4.5 语义分析过程

在这里插入图片描述
在这里插入图片描述

第五节 if语句的翻译

5.1 语法规则

在这里插入图片描述

5.2 语义分析目标

在这里插入图片描述

5.3 语义子程序

在这里插入图片描述

5.4 语法分析过程

在这里插入图片描述

在这里插入图片描述

5.5 语义分析过程

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

5.6 if-else语句

  1. 语法规则
    在这里插入图片描述

  2. 语义分析目标
    在这里插入图片描述

  3. 语义子程序
    在这里插入图片描述
    在这里插入图片描述

  4. 语义分析过程
    在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

第六节 while语句的翻译

6.1 语法规则

在这里插入图片描述

6.2 语义分析目标

在这里插入图片描述

6.3 语义子程序

在这里插入图片描述

在这里插入图片描述

6.4 语义分析过程

在这里插入图片描述

在这里插入图片描述

第七节 for语句的翻译

7.1 语法规则

在这里插入图片描述

7.2 语义分析目标

在这里插入图片描述

7.3 语义子程序

在这里插入图片描述

在这里插入图片描述

7.4 语义分析过程

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

第八节 函数的翻译

8.1 语法规则

在这里插入图片描述

8.2 语义分析目标

在这里插入图片描述

8.3 语义子程序

在这里插入图片描述

在这里插入图片描述在这里插入图片描述

8.4 语义分析过程

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

第九节 函数的调用

9.1 语法规则

在这里插入图片描述

9.2 语义分析目标

在这里插入图片描述

9.3 语义子程序

在这里插入图片描述
在这里插入图片描述

9.4 语义分析过程

在这里插入图片描述

在这里插入图片描述在这里插入图片描述

在这里插入图片描述

AmarisEx
关注
  • 9
    点赞
  • 踩
  • 37
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
编译原理-语义分析
05-11
选择部分C语言的语法成分（可参考附录C.5）或选择附录C.3的简单语言，采用递归下降的语法制导翻译技术，设计一个一遍扫描的词法语法语义分析程序。 注意与实验1、2的衔接。 •内容：设计并实现一个一遍扫描的词法语法语义分析程序，将多条简单赋值语句翻译成后缀式或三地址代码，要求有一定的出错提示和错误恢复功能。 实验报告内容要求：要给出所分析简单语言语法结构的词法说明、上下文无关文法描述，单词的种别编码方案，词法分析程序的主要算法思想，以及所采用的语法语义分析方法的算法思想的详细描述，测试结果与分析，实验总结等。
编译原理 —— 什么是语义分析
starter_____的博客
02-03 5421
分析语句和声明是如何构成程序的 收集标识符的属性信息 种属 简单变量 复合变量 过程 类型 整型 实型 字符型 布尔型 指针型 存储位置、长度 值 作用域 参数和返回值信息 使用符号表和字符串表来存储这些信息 符号表中Name字段为什么要设计字符串表，而不是将标识符直接放到Name字段中？ 必要性：现代程序语言一般不限制标识符的长度，故name字段的长度不便预先固定，短了：适用...
编译原理：词法分析、语法分析、语义分析、有限自动机、上下文无关文法、BNF范式、语法分析树等核心内容总结
程序员不鸣的博客
05-12 8013
最近在学习编译原理相关知识，主要看的是编译器前端分析技术，主要学习的有词法分析、语法分析、语义分析、有限自动机、上下文无关文法、BNF范式、语法分析树等相关前端概念内容，后续可能使用Anltr或Peg对特定的DSL代码进行解析，学习相关内容更加有助于理解解析过程和原理。
第七章 语义分析和中间代码生成
热门推荐
yongchaocsdn的博客
01-14 1万+
1、   编译程序的任务是把源语言程序翻译成目标程序，有些编译程序在编译过程中，不产生中间语言，而是直接从源语言程序翻译成目标语言程序。        以上编译过程省略了中间语言，它不利于编译所产生的目标代码的优化.为了产生高质量的代码，可以将源语言程序首先翻译成一种特殊形式的中间语言代码形式，并对其进行优化，然后再将它翻译成最终的目标代码。 中间代码   中间代码也
编译原理 语义分析
qq_40427276的博客
01-08 6902
文章目录
编译原理 语义分析
Keep Fighting!
10-18 1万+
语义分析依赖于上下文分析 抽象语法树一定是符合语法的，不会存在语法错误，语义分析器会分析语义是否满足。   如果中间代码之后，仍然有问题，只可能是编译器的问题。   D 声明 declaration E 表达式expression 涉及到变量声明的类型与使用时，进行计算的另一个元素类型一致。 检查变量声明（P，D）以及表达式（E） 符号表： ...
《软件技术基础》之《语义分析》
ProgramNovice的博客
09-03 972
《软件技术基础》之《语义分析》语法分析和语义分析语义值中间代码语义分析的结果语法制导翻译语义变量和语义函数说明语句的翻译说明语句的文法表示说明语句相对存储位置OFFSET说明语句的语义变量及过程说明语句的翻译方案简单赋值语句的翻译语义变量及过程翻译方案（语义子程序）类型检查（语义检查）目标代码生成计算机模型简单的代码生成方法循环中的寄存器的分配固定分配寄存器节省的代价计算 语义分析的目是生成代码并实现句子的语义。 语义分析生成的不是最终目标代码，而是便于实现优化的某种中间代码。 语法分析和语义分析 语义值
编译原理（十）——语义分析基础
很注重数学和408
10-05 5856
一、语义检查的内容 1. 1语法和语义的区别 1.2 程序设计语言语义的分类 1.3 语义分析的功能 1.4 语义错误检查 首先可能要检查程序中标识符的声明问题，程序设计语言可以分为强类型语言和弱类型语言。强类型：要求所有用到的表示符必须经过声明，而且在一个程序的作用域内只声明一次，因此需要检查有没有变量的声明、标识符有没有重复声明。 涉及到条件表达式的部分都要求是bool类型或者是逻辑值类型，大多数语言要求是一个逻辑值，现在很多语言用0或非0来进行判断，原来的语言一般要求是逻辑类型。 运算符是否
编译原理笔记.zip
07-27
3. **语义分析（Semantic Analysis）**：在确保了源代码的语法正确后，编译器开始理解程序的含义。它检查类型一致性，执行类型检查，并为表达式和声明提供语义。这一步骤可能涉及符号表管理，存储类型信息。 4. **...
编译原理语法分析语义分析
06-23
编译原理语法分析语义分析 语法分析（Syntax analysis或Parsing）和语法分析程序（Parser） 　　语法分析是编译过程的一个逻辑阶段。语法分析的任务是在词法分析的基础上将单词序列组合成各类语法短语，如“程序”，“语句”，“表达式”等等.语法分析程序判断源程序在结构上是否正确.源程序的结构由上下文无关文法描述. 语义分析（Syntax analysis） 　　语义分析是编译过程的一个逻辑阶段. 语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查, 进行类型审查.例如一个C程序片断: 　　int arr[2],b; 　　b = arr * 10; 　　源程序的结构是正确的. 　　语义分析将审查类型并报告错误:不能在表达式中使用一个数组变量,赋值语句的右端和左端的类型不匹配.
编译原理虎书
04-28
《编译原理》一书，通常被称为“龙书”或“虎书”，是编译器设计领域的经典之作，由著名计算机科学家 Alfred V. Aho、Monica S. Lam、Ravi Sethi 和 Jeffrey D. Ullman 共同撰写。这本书深入浅出地介绍了编译器的...
编译原理课件
12-07
"编译原理课件"可能包含PPT、PDF、笔记等形式，详细阐述了以上各个阶段的工作原理和实现技术，还可能包含实例分析、练习题和解决方案，帮助学生深入理解和掌握编译器设计的基础知识。通过学习这些内容，学生能够具备...
软件设计师个人学习笔记
06-21
语义则涉及程序的含义，包括静态语义（编译时检查）和动态语义（运行时行为）；而语用则关乎语言在特定上下文中的使用和效果。此外，可能还涉及到各种编程范式，如过程式、面向对象和函数式编程等。 第三章 操作...
编译原理学习复习 考试资料
12-14
"编译原理学习复习 考试资料"这个标题表明这是一个专门针对学习和复习编译原理知识的资源集合，可能是包含笔记、课件、习题解答等的压缩文件。 在准备编译原理的考试时，以下是一些关键知识点的详细解释： 1. **...
【编译原理】语义分析
LJR的博客
06-26 2457
语法制导定义： 语法制导定义是带属性和语义规则的上下文无关文法，其中每个文法符号都有一组属性，每个产生式有一组语义规则。在语法制导定义中，每个文法符号有一组属性，每个文法产生式 A→αA→αA→α 有一组形式为 b=f(c1,c2,…,ck)b=f( c_1,c_2,…,c_k)b=f(c1​,c2​,…,ck​) 的语义规则，其中 fff 是函数，bbb 和 c1c_1c1​， c2c_2c2​， ………，ckc_kck​ 是该产生式的文法符号的属性，该规则定义属性 bbb，并且：（1）如果 bbb 是
编译原理语义分析
weixin_45360119的博客
12-15 1747
语义分析README 7种假设 假设1：整型（int）变量不能与浮点型（float）变量相互赋值或者相互运算。 假设2：仅有int型变量才能进行逻辑运算或者作为if和while语句的条件；仅有int型和 float型变量才能参与算术运算。 假设3：任何函数只进行一次定义，无法进行函数声明。 假设4：所有变量（包括函数的形参）的作用域都是全局的，即程序中所有变量均不能重名。 假设5：结构体间的类型等价机制采用名等价（Name Equivalence）的方式。 假设6：函数无法进行嵌套定义。 假设7：结构体中的
6&8. 语义分析和中间代码生成
m0_51265528的博客
01-03 1718
从几个问题说起：要计算 3+4*5 的值如何计算？按照以前的方法，我们会想到利用符号栈和数值栈来完成这个运算。但是有了语法分析之后我们不再需要进行这么复杂的代码构造了。第一，我们可以使用自顶而下的递归下降分析方法；第二，我们可以使用自底而上的LR分析方法；而这一切的前提都是我们有能力将一些问题改成形式化的描述，即构造其文法；再使用语法分析的方法，在语法分析的基础上，再特定位置加上相应的处理功能——语义动作。
编译原理 - 语义分析
最新发布
turbolove的博客
12-21 472
为了高效，可以使用hash表等数据结构来实现符号表。语义分析的阶段是根据上述代码，找出代码错误。为了节约空间，也可以使用红黑树等平衡树。下面是示例代码，其中有些典型的错误。用来存储程序中的变量相关信息。内存：存放所有的变量。执行引擎：指令的执行。
课程设计编译原理词法分析语法分析语义分析
06-02
您想了解关于课程设计编译原理词法分析语法分析语义分析的内容吗？我可以简单地为您概括一下： 编译原理是计算机科学中的一门重要课程，是研究如何将高级语言编写的程序转换成计算机能够理解和执行的机器语言程序的原理和方法。其中，词法分析、语法分析和语义分析是编译过程中的三个重要步骤。 词法分析是将源代码中的字符流转换成有意义的单词序列的过程，也就是将程序中的字符转换成 token。语法分析是将词法分析器产生的 token 序列转化成语法树的过程，即检查程序是否符合语法规则。而语义分析则是在语法分析的基础上，进一步检查程序的意义和规范性，确定程序的含义，为后续的中间代码生成、代码优化和目标代码生成做准备。 在课程设计编译原理中，学生需要通过理论学习和实践操作，掌握词法分析、语法分析和语义分析的原理和方法，并能够独立设计和实现一个简单的编译器。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值