DFA的化简综述.docx

DFA（确定的有穷自动机）的化简 1. 实验内容 输入一个DFA M,输出一个与之等价的最小化的DFA M’，设计并实现将NFA确定化为DFA的子集构造算法，输入非确定有限（穷）状态自动机，输出确定化的有限（穷）状态自动机?编写一个程序，将一个非确定有限自动机转换为确定有限自动机。 2. 实验设计分析 2.1 实验设计思路 首先输入边集找到状态与边的关系，然后输入终结点，这样一个没有简化的NFA图就表示出来了，然后利用求闭包的方式求move集合，画出状态转化图，重命名后进行集合划分，再次重新画出状态转换矩阵，输出简化后的DFA。 2.2 实验算法 （1）构造具有两个组的状态集合的初始划分I：接受状态组 F 和非接受状态组 Non-F。 （2）对I采用下面所述的过程来构造新的划分I-new. For I 中每个组G do Begin 当且仅当对任意输入符号a,状态s和读入a后转换到I的同一组中； /*最坏情况下，一个状态就可能成为一个组*/ 用所有新形成的小组集代替I-new中的G; end （3）如果I-new=I，令I-final=I,再执行第（4）步，否则令I=I=new,重复步骤（2）。 （4）在划分I-final的每个状态组中选一个状态作为该组的代