转自：https://blog.csdn.net/hy2011034628/article/details/24307565#comments
有限自动机也称有穷自动机。
重点：
NFA（不确定的有限自动机）与DFA（确定的有限自动机）的定义
NFA转化为DFA
正规式与有限自动机之间的转化
M是一个5元组
确定的有限自动机只有一个初态。
S0是属于S Z是包含于S 说明Z是集合 Z有可能有多个终态
终态{f} 一般都用双圈表示
采用子集法将nfa -->dfa
图中 （倒3）西格玛代表空
S 到达2 到达3都为空 s到达1为空 所以初态集为{s,1,2,3}
nfa 允许出现那种‘空’
3输入0 可以到达4 也可以到达5 和z
i0代表当前状态输入0 i1代表当期那状态输入1
最后答案：
通过上图的表 并且给每个集合编号 就能构造出一个dnf出来
如图：