非确定的自动机NFA确定化为DFA
NFA 确定化为 DFA
子集法:
f(q,a)={q1,q2,…,qn},状态集的子集
将{q1,q2,…,qn}看做一个状态A,去记录NFA读入输入符号之后可能达到的所有状态的集合。
步骤:
1.根据NFA构造DFA状态转换矩阵
①确定DFA初态(NFA的所有初态集),字母表
②从初态出发,经字母表到达的状态集看成一个新状态
③将新状态添加到DFA状态集
④重复23步骤,直到没有新的DFA状态
2.画出DFA
3.看NFA和DFA识别的符号串是否一致。
练习:
1.解决多值映射:子集法
1). 发给大家的图1
NFA状态图:
DFA表格:
DFA状态图:
2). P64页练习3
NFA状态图:
DFA表格:
DFA状态图:
2.解决空弧:对初态和所有新状态求ε-闭包
1). 发给大家的图2
NFA状态图:
DFA表格:
|
|
0 |
1 |
2 |
X |
ε{A}={ABC} |
ε{A}={ABC} |
ε{B}={BC} |
ε{C}={C} |
Y |
{BC} |
|
ε{B}={BC} |
ε{C}={C} |
Z |
{C} |
|
|
ε{C}={C} |
DFA状态图:
2).P50图3.6
NFA状态图:
DFA表格:
DFA状态图: