DFA的化简.docxVIP

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的每个状态组中选一个状态作为该组的代表。这些代表构成了化简后的DFA　M＇状态。令s是一个代表状态，而且假设：在DFA M中，输入为a时有从s到t转换。令t所在组的代表是r,那么在M’中有一个从s到r的转换，标记为a。令包含s0的状态组的代表是M’的开始状态，并令M’的接受状态是那些属于F的状态所在组的代表。注意,I-final的每个组或者仅含F中的状态，或者不含F中的状态。（5）如果M’含有死状态（即一个对所有输入符号都有刀自身的转换的非接受状态d）,则从M’中去掉它；删除从开始状态不可到达的状态；取消从任何其他状态到死状态的转换。2.3 实验流程1. 输入NFA各边信息（起点条件[空为*] 终点），以#结束2. 输入终态3. 求e-clouse闭包,将结点移入相应的闭包集合，并重新排序4. 输出状态转换矩阵，转换成DFA并重命名5. 执行DFA最简化6. 重命名DFA，输出最简化DFA状态转换矩阵2.4 实验的基本技术设计方案实验中含有一些数据结构的知识，假设I是NFA?M状态集K的一个子集（即I∈K），则定义ε-closure（I）为：?若Q∈I，则Q∈ε-closure（I）；?若Q∈I，则从Q出发经过任意条ε弧而能到达的任何状态Q’，则Q’∈ε-closure（I）。?状态集ε-closure（I）称为状态I的ε闭包。?假设NFA?M＝（K，∑，F，S，Z），若I∈K，a∈∑，则定义Ia＝ε-closure（J），其中J是所有从ε-closure（I）出发，经过一条a弧而到达的状态集。2.5 数据结构实现的数据结构：用链表实现DFA的构造：由结点链表和转换弧链表组成：struct node //结点的定义{intpos;//结点在哪个组中intnum；//结点的序号int accept; //结点是否为接受状态struct node *next; }NODE;struct arc//弧的定义 {int start; //开始的顶点位置 char input; //弧上所接受的输入字符int end; //结束的顶点位置struct arc *next;}ARC;Struct groups //分组后各结点所在组的位置 {int n; //属于哪个组int i;//在组中的位置}GROUPs;2.6 实验输入输出在测试中，一共有0、1两个状态，它们之间的符号位a/b/*，首先定义边集并赋值，输入终态，程序会自动输出状态转换矩阵，重命名后，进行划分，再重命名，输出新的状态转换矩阵，实现DFA的简化。2.7 实验设计语言C语言3. 实验主要源代码及分析说明 #includeiostream #includestring using namespace std; #define max 100 struct edge{ string first;//边的初始结点 string change;//边的条件 string last;//边的终点}; int N;//NFA的边数string part[max];//分割子集//状态集合I的a弧转换string move(string jihe,charch,edge *b) {inti,j; string s=; for(i=0;ijihe.length();i++) { for(j=0;jN;j++) { if(b[j].fi