【软考】目标代码生成、动态语义错误、中间代码生成、正规式、有限自动机

# 目标代码生成

寄存器的分配，处于目标代码生成阶段

---
# 动态语义错误

比如 除数为零： int a = 1 / 0;
可以过语法：因为语句结构没问题，也可以过语义：除号左边右边都整数（静态语义）
但是在运行的时候就会报错，会报 除数不能为 0 的异常

---
# 中间代码生成

中间代码与具体的机器无关，不依赖具体的机器。

最常用的一种中间代码是 与汇编语言的指令非常相似的三地址码，其实现方式是 四元式。

常见的中间代码有：后缀式、三地址码、三元式、四元式、树（图）等形式

中间代码可以跨平台。
因为与具体的机器无关，使用中间代码有利于进行 **与机器无关的优化处理** 和 **提高编译程序的可移植性**

---
# 正规式

正规式是 **词法分析** 的一个工具
![image](https://cdn-imagehost.xyzttt.xyz/image/2026/04/21/o42o7t.webp)

正规集 由 正规式推出来的

---
# 有限自动机

是一个 **词法分析** 的工具

## 确定的有限自动机，DFA
对每一个状态来说，识别字符后转移的状态是唯一的

## 不确定的有限自动机，NFA
对每一个状态来说，识别字符后转移的状态不是确定的

一个圆圈的：初态，会有一个箭头指向它
两个圆圈的：终态

一个状态既可以是初态，也可以是终态，也可以有多个终态

成功的识别：串要停在终态。中间的过程中不能识别失败

一般是从串的第一个开始识别，比如 1100，是从 最左侧的 1 开始识别

![image](https://cdn-imagehost.xyzttt.xyz/image/2026/04/21/qvtq6g.webp)

这里的 a,b 是 a|b 的意思，也就是 a 或 b 的意思

![image](https://cdn-imagehost.xyzttt.xyz/image/2026/04/21/qwt5gu.webp)

这个是 空的意思，不用识别可以直接转移，就是可以跳
比如上面的例子，如果要识别 00。
第一个 0 ，就是从 初态 0 识别，转移到 1，但是 1 后面是 空，所以可以直接转移到 4，4 再识别一个 0，转移到终态 5