正规式α向有限自动机M的转换

[注：这一节是在学习东南大学廖力老师的公开课时，所记录的一些知识点截屏，谢谢廖力老师的辛劳付出]

 

引入3条正规式分裂规则来分裂α，所得到的是NFA  M（因为包含ε弧，之后进行确定化就是所需要求得DFA）：

对含有ε弧的NFA进行确定化（）采用子集法,含有ε边的状态，将直接加入进子状态,如下图中，初态x，经由ε弧可直接到达5,1，所以初态集变更为{x,5,1}

 

接下来就是按表构造DFA接着化简了，具体方法可以跳转到

 如何将不确定的有穷自动机确定化，并将其化简为最简DFA

 

 

 

转载于:https://www.cnblogs.com/AndyEvans/p/10255172.html