编译原理期末速成–正规式、NFA转DFA、DFA的简化

编译原理期末速成–正规式、NFA转DFA、DFA的简化

什么是DFA、NFA？

**确定有限自动机（DFA）**是一种计算模型，它对于给定的输入符号和当前状态，具有唯一的下一个状态转换。每个状态只能转换到一个确定的下一个状态，不会存在多个选择（即初态唯一）。DFA 的状态转换是确定的，没有任何非确定性。

一个确定有限自动机可以用一个五元组表示：M = (Q, Σ, δ, q₀, F)，其中：

1. Q 是有限状态集合。
2. Σ 是输入符号集合。
3. δ 是状态转换函数，即 δ: Q × Σ → Q，表示给定当前状态和输入符号，自动机将转移到的下一个状态。
4. q₀ 是初始状态。
5. F 是接受状态集合，F ⊆ Q。

**非确定有限自动机（NFA）**是另一种计算模型，相对于 DFA 具有更高的表达能力。在 NFA 中，对于给定的输入符号和当前状态，可以存在多个可能的下一个状态转换（即初态可以有多个）。NFA 的状态转换存在非确定性，即在某个状态下，可以有多个不同的选择路径。

一个非确定有限自动机可以用一个五元组表示：N = (Q, Σ, δ, q₀, F)，其中的组成与 DFA 相同，但与 DFA 不同的是，NFA 的状态转换函数 δ: Q × Σ → 2^Q，其中 2^Q 表示从当前状态通过输入符号可以转移到的所有可能状态的幂集。