NFA 肯定化为 DFA闭包
子集法:3d
f(q,a)={q1,q2,…,qn},状态集的子集blog
将{q1,q2,…,qn}看作一个状态A,去记录NFA读入输入符号以后可能达到的全部状态的集合。im
步骤:db
1.根据NFA构造DFA状态转换矩阵img
①肯定DFA初态(NFA的全部初态集),字母表集合
②从初态出发,经字母表到达的状态集当作一个新状态co
③将新状态添加到DFA状态集ps
④重复23步骤,直到没有新的DFA状态ab
2.画出DFA
3.看NFA和DFA识别的符号串是否一致。
练习:
1.解决多值映射:子集法
1). 发给你们的图1
2). P64页练习3
2.解决空弧:对初态和全部新状态求ε-闭包
1). 发给你们的图2
2).P50图3.6