正规文法、正规式、确定的有穷自动机DFA、不确定的有穷自动机NFA 的概念、区分以及等价性转换【我直接拿下！】

本文主要是介绍正规文法、正规式、确定的有穷自动机DFA、不确定的有穷自动机NFA 的概念、区分以及等价性转换【我直接拿下！】，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

文章目录

- - 正规文法
  - 正规式
  - 有穷自动机
  - - 确定的有穷自动机——DFA
    - 不确定的有穷自动机——NFA
    - DFA 与 NFA 的区分
  - 正规式转换为正规文法
  - 正规文法转换为正规式
  - NFA 转换为 DFA
  - - NFA 最小化
  - NFA 转换为正规式
  - 正规式转换为 NFA
  - 正规文法转换为 NFA
  - NFA 转换为正规文法

前言：

在学习正规文法之前，需要先了解一下什么是文法，具体可以查看这篇文章，总结的比较好 —— 编译原理–四种文法的理解

正规文法

设有 G=(V_N，V_T，P，S)，若 P 中的每一个产生式的形式都是 A ——> aB 或 A——>a，其中 A 和 B 都是非终结符，a 属于 V_T^*，则称 G 为 3 型文法，又称正规文法。

正规式

正规式也称正则表达式，也是表示正规集的工具。是一种用于匹配文本模式的字符序列。由普通字符（如字母、数字）和特殊字符（如元字符）组成的表达式。

在正规式中，常见的元字符包括：

通配符（如 . 表示匹配任意字符）
字符类（如 [0-9] 表示匹配数字 0 到 9 之间的任意一个字符）
量词（如 * 表示匹配前面的字符 0 次或多次）
锚点（如 ^ 表示匹配字符串的开头、$ 表示匹配字符串的结尾）
…

有穷自动机

有穷自动机（Finite State Machine，FSM）是一种抽象的识别装置，用于描述具有有限个状态并在输入序列驱动下进行状态转换的系统，能准确地识别正规集。

一个有穷自动机由以下几个要素组成：

1. 状态集合（States）： 有穷自动机的所有可能状态的集合。每个状态代表系统的某种特定情况或条件。

2. 输入字母表（Input Alphabet）： 有穷自动机接受的输入符号的集合。例如，二进制数的有穷自动机的输入字母表可以是{0, 1}。

3. 转移函数（Transition Function）： 描述从一个状态到另一个状态的转移规则。该函数接受当前状态和输入符号，并返回下一个状态。转移函数可以用图形表示，其中状态是节点，输入符号是边。

4. 初始状态（Initial State）： 有穷自动机开始运行时的起始状态。

5. 终止状态（Accepting States）： 有穷自动机在运行过程中达到的特殊状态。当有穷自动机达到终止状态时，它可以接受或拒绝输入序列。

有穷自动机分为确定性有穷自动机（Deterministic Finite Automaton，DFA）和非确定性有穷自动机（Nondeterministic Finite Automaton，NFA）。

在确定性有穷自动机（DFA）中，每个状态都有唯一的转移路径，而在非确定性有穷自动机（NFA）中，一个状态可以有多个转移路径。

确定的有穷自动机——DFA

一个确定的有穷自动机 DFA 由一个五元组组成，可以用以下公式表示：

M = (K, Σ, f, S, Z)

其中：

K 表示一个有穷集，它的每个元素称为一个状态。
Σ 表示有穷字母表，Σ = {a₁, a₂, ..., aₘ}，每个字母代表有穷自动机接受的输入符号，也成为输入符号表。
f 表示转移函数，K × Σ → K，它描述从一个状态到另一个状态的转移规则。对于给定的状态 Kᵢ 和输入符号 a，则经过 f 转换函数后，会返回下一个状态 Kⱼ，转换规则如：f(Kᵢ,a) = Kⱼ。
S 表示初态集，S ∈ K，它是唯一的一个初态。
Z 表示终态集，Z ⊆ K，当有穷自动机达到终止状态时，它可以接受或拒绝输入序列，也称为可接受状态或结束状态。

不确定的有穷自动机——NFA

一个不确定的有穷自动机 NFA 同样也是由一个五元组组成，可以用以下公式表示：

M = (K, Σ, f, S, Z)

其中：

K 表示一个有穷集，它的每个元素称为一个状态。
Σ 表示有穷字母表，Σ = {a₁, a₂, ..., aₘ}，每个字母代表有穷自动机接受的输入符号，也成为输入符号表。
f 表示转移函数，K × Σ^* → K，表示 K 的全体子集的映像，即 K × Σ^* → 2^K，其中 2^K 表示 K 的幂集。
S 表示初态集，S ⊆ K，表示一个非空初态集。
Z 表示终态集，Z ⊆ K，表示一个终态集。

当有穷字母表 Σ 中存在 ε 空串时，那么该有穷自动机为 NFA。

DFA 与 NFA 的区分

DFA 和 NFA 的主要区别在于它们的转移函数和转移规则：

转移函数不同

DFA 的转移函数是唯一的，即每个状态和输入符号只对应唯一的下一个状态（同一路径中输入符号必须唯一）。

NFA 的转移函数可以有多个下一个状态，也就是说一个状态可以按照多种选择进行转移。

转移规则不同

DFA 的转移规则相对简单，每个状态在接收到输入符号后只能转移到唯一的下一个状态，从而形成确定的转移路径。

NFA 的转移规则更加复杂，一个状态可以按照多种选择进行转移，从而形成多条可能的转移路径。

因此，DFA 模型的缺点是其在某些情况下需要更多的状态来表示相同的语言，并且难以处理一些复杂的语言。然而，DFA 的优势在于其转移函数和转移规则都明确，因此可以直接实现，易于编程实现和模拟执行。

正规式转换为正规文法

在开始转换之前，我们先来了解一下正规式转换正规文法的公式，一共有三个，如下所示：

当存在正规式产生式 A → xy，则有正规文法：

A → xB
B → y

当存在正规式产生式 A → x*y，则有正规文法：

A → xB
A → y
B → xB
B → y

当存在正规式产生式 A → x|y，则有正规文法

A → x
A → y

转换示例：

将正规式 r = a(a|d)^* 转换为相应的正规文法，转换过程如下所示：

正规文法转换为正规式

正规文法转换为正规式同样有三个公式，如下所示：

当存在正规文法 A → xB 且 B → y，则有正规式 A = xy；

当存在正规文法 A → xA|y，则有正规式 A = x*y；

当存在正规文法 A → x 且 A → y，则有正规式 A = x|y；

转换示例：

现有文法 G[S]，其所有产生式如下所示：

S → aA
S →    a
A → aA
A → dA
A →    a
A →    d

将文法 G[S] 转换为正规式：

NFA 转换为 DFA

这里先来了解将 NFA 转化为接受同样语言的 DFA 的算法，称为子集法。

子集法是一种用于将不确定的有穷自动机（NFA）转换为具有等价性的确定的有穷自动机（DFA）的算法。

在子集法中，我们将每个 DFA 状态表示为 NFA 状态的子集。具体步骤如下：

创建 DFA 的初始状态。这个初始状态是由 NFA 的初始状态以及通过 ε转移可以到达的其他状态组成的子集。可以表达为 ε-closure(I)，其中 I 为初态，也就是求从初态 I 开始，经过 ε 所到达的状态形成的闭包集合。
对于新创建的 DFA 状态，遍历每个输入符号（除去 ε 空串）。对于每个输入符号，找出从当前 DFA 状态中的任意一个 NFA 状态通过该输入符号可以达到的所有 NFA 状态，并将它们作为新的 DFA 状态的部分。可以表示为 move(I,a)，从初态 I 开始，经过 a 弧所到达状态。