软考编译原理：有限自动机

转自：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出来

如图：