10、6.1、有限自动机的等价性
DFA与NFA的等价性
- 对于每个NFA M存在一个DFA M’，使得L(M)=L(M’)
-
- 等价性证明
-
- NFA的确定化
- 思路： NFA 和DFA的差别
|
NFA
|
DFA
|
|
|
初始状态
|
不唯一
|
唯一 |
|
弧上的标记
|
字(单字符字、ε)
|
字符
|
|
转换关系
|
非确定
|
确定
|
|
NFA
|
DFA
|
|
|
初始状态
|
不唯一
|
唯一 |
|
弧上的标记
|
字(单字符字、ε)
|
字符
|
|
转换关系
|
非确定
|
确定
|
