软考——软件设计师：第六章：程序设计语言与语言处理程序（编译原理）考点总结（完整篇）_软考语义分析

文章目录：

1.主要内容

2.编译过程 

2.1 编译过程概述

2.2 词法分析 

2.3 语法分析

2.4 语义分析 

2.5 中间代码生成 

2.6 代码优化 

2.7 目标代码生成 

3.文法定义

3.1 文法类型 

3.2 语法推导树

3.3 有限自动机

3.3.1 有限自动机例题 

3.4 正规式

3.4.1 正规式例题

4.表达式

5.函数调用——传值与传址

5.1 传值调用

5.2 引用调用（传址调用）

6.各种程序语言特点

6.1 主要特点 

6.2 语言分类

7.数据类型与程序控制结构 

---

1.主要内容

---

2.编译过程 

2.1 编译过程概述

编译程序的功能是把某高级语言书写的源程序翻译成与之等价的目标程序（汇编语言或机器语言）。 

2.2 词法分析 

词法分析阶段是编译过程的第一个阶段，这个阶段的任务是对源程序从前到后（从左到右）逐个字符地扫描，从中识别出一个个“单词” 符号。

“单词”符号是程序设计语言的基本语法单位，如关键字（或称保留字）、标识符、常数、运算符和分隔符（如标点符号、左右符号）等。词法分析程序输出的“单词”常以二元组的方式输出，即单词种别和单词自身的值。

2.3 语法分析

语法分析的任务是在词法分析的基础上，根据语言的语法规则将单词符号序列分解成各类语法单位，如“表达式”、“语句”和“程序”等。词法分析和语法分析在本质上都是对源程序的结构进行分析。 

2.4 语义分析 

语义分析阶段分析各语法结构的含义，检查源程序是否包含静态语义错误，并收集类型信息供后面的代码生成阶段使用。

只有语法和语义分析都正确的源程序才能翻译成正确的目标代码。 

2.5 中间代码生成 

中间代码生成阶段的工作是根据语义分析的输出生成中间代码。“中间代码”是一种简单且含义明确的记号系统，可以有若干种形式，它们的共同特征是与具体的机器无关。

最常用的一种中间代码是与汇编语言的指令非常相似的三地址码。 

2.6 代码优化 

由于编译器将源程序翻译成中间代码的工作是机械的、按固定模式进行的，因此，生成的中间代码往往在时间上和空间上有较大的浪费。当需要生成高效的目标代码时，必须进行优化。

优化过程可以在中间代码生成阶段进行，也可以在目标代码生成阶段进行。 

2.7 目标代码生成 

目标代码生成阶段是编译器工作的最后一个阶段。这一阶段的任务是把中间代码变换成特定机器上的绝对指令代码、可重定位的指令代码或汇编指令代码。这个阶段的工作与具体的机器密切相关。 

---

3.文法定义

3.1 文法类型 

3.2 语法推导树

3.3 有限自动机

3.3.1 有限自动机例题 

这类题相对于正规式的题要简单的多，没有什么技巧，直接按照四个选项给出的表达式去一步一步的推就可以了！！！

由于A是初态，C是终态，我们代入验证四个选项中哪一个可以由初态走到终态，即为正确答案。

A选项：0000，从A开始，由0到达B；再由0，仍然到达B（因为在B这里，0只能是以自身循环），所以0000无法识别。

B选项：1111，从A开始，由1到达A；再由1，仍然到达A（因为在A这里，1只能是以自身循环），所以1111无法识别。

C选项：0101，从A开始，由0到达B；再由1，到达C；再由0，到达B；最后由1，到达终态C，所以0101可以识别。

D选项：1010，从A开始，由1到达A；再由0，到达B；再由1，到达C；最后由0，到达B，所以1010无法识别。

3.4 正规式

3.4.1 正规式例题

上面这道例题，其中的丨表示“或”，*表示重复 [0，+∞）次。那么对于文法G[S]的分析如下：

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/不正经/article/detail/515297