笔者:YY同学
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:
- Initial
3.
4.
5.
DFA -> RE
以上图为例,我们发现从 q0 到 q2 和 q4 的所有路径是可以被规则所接受的,且 q2 和 q4 没有回头路。
因此我们可以分类讨论:
- 当目的地是 q2 的时候
r1 = b- 当目的地是 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 三者事实上是等价的,知一可求二。