【CS106】编译原理笔记2 —— DFA，NFA 与 RE 的转化关系

笔者：YY同学

生命不息，代码不止。好玩的项目尽在GitHub

---

---

Concept

DFA（Determined Finite Automata，定向有穷自动机）

• 通过判断不同输入条件而跳转到不同 State，从而判断某种语言字符串特性的一种算法
• 有固定数量的 State
• 每种跳转条件都会考虑（定向）
• 一般如果有 n 个 state，就会有 2n 个跳转条件
• 没有 λ（空字符串）
• 有唯一最简（最少 State ）画法
  
  

NFA（Non-determined Finite Automata，未定向有穷自动机）

• 是 DFA 的一般情况
• 有固定数量的 State
• 考虑部分的跳转条件（非定向）
• 一般如果有 n 个 state，可能会少于 2n 个跳转条件，也可能会多于 2n 个跳转条件
• 可能有 λ
• 可能有多种画法，最简的画法是画最简 DFA
  
  

RE（Regular Expression，正则表达，不同于正则表达式）

• 一种通过正则表达来描述语言的描述方法（不是算法）
• r1 + r2 表示表达式 r1 或 r2 中有一个满足
• r1r2 = r1 x r2 表示表达式需要同时有 r1 和 r2，且 r1 在前，r2 在后
• r* 表示 0 个或多个这样的表达式重复出现
• r+ 表示 1 个或多个这样的表达式重复出现

---

NFA -> DFA

Example：

1. Initial
   
   
   
   

3.




4.




5.

---

DFA -> RE

以上图为例，我们发现从 q0 到 q2 和 q4 的所有路径是可以被规则所接受的，且 q2 和 q4 没有回头路。


因此我们可以分类讨论：

1. 当目的地是 q2 的时候
   r1 = b
2. 当目的地是 q4 的时候
   r2 = ab + aaa*b

因此，我们可以得到最终的正则表达 R = b + ab + aaa*b

---

RE -> NFA

由正则表达 R = b + ab + aaa*b，我们可以按 " + " 将表达式分为三块处理，即 b，ab 和 aaa*b





此 NFA 与最开始给出的 NFA 在语法上等价，因为它们可以产生相同的最简 DFA。

---

DFA, NFA, RE 的等价性

至此，我们不难发现，DFA, NFA, RE 三者事实上是等价的，知一可求二。