编译原理实验六DFA最小化Word格式.docx

1、 由上述定义知，K1和K2是不等价的。（2） 对各状态集每次按下面的方法进一步划分，直到不再产生新的划分。设第i次划分已将状态集划分为k组，即：KK1（i）K2（i）Kk（i）对于状态集Kj（i）（j=1,2,k）中的各个状态逐个检查，设有两个状态Kj、 KjKj（i），且对于输入符号a，有：F（Kj，a）Km，a）Kn如果Km和Kn属于同一个状态集合，则将Kj和Kj放到同一集合中，否则将Kj和Kj分为两个集合。（3） 重复第（2）步，直到每一个集合不能再划分为止，此时每个状态集合中的状态均是等价的。（4） 合并等价状态，即在等价状态集中取任意一个状态作为代表，删去其他一切等价状态。（5） 若

2、有无关状态，则将其删去。根据以上方法就将确定有限自动机进行了简化，而且简化后的自动机是原自动机的状态最少的自动机。四：数据结构与算法struct edge string first;/边的初始结点 string condition;/边上的条件 string last;/边的终点;string move（string collection,char ch,edge *b）/状态集合I的a弧转换int divide（edge *b,string change）/分割子集法进行DFA的最小化五：出错分析1：在数据结构的定义之中，字符与字符串的差别，本次实验室字符串而不是字符六：实验结果与分析七：源

3、代码#includestringusing namespace std;#define max 100int N;/NFA的边数string partmax;/分割子集 int i,j; string s=; for（i=0;icollection.length（）;i+） for（j=0;jN;j+） if（bj.first0=collectioni&bj.condition0=ch） s=s+bj.last; if（s=）return else return s;bool isexist（string s,string d）/判断子串是否存在在某一集合 if（d!=0=d.find（s）&

4、d.find（s）=d.length（）-1）return 1; else return 0; int x,m,flag=2,flag0,i,j; string ss,part0max; flag0=flag; for（x=0;xchange.length（）;x+） for（m=0;mflag0;m+） for（i=0;partm.length（）; ss=move（partm.substr（i,1）,changex,b）; for（j=0;flag; if（isexist（ss,partj）part0j=part0j+partm.substr（i,1）; if（ss=） part0flag

5、=part0flag+partm.substr（i,1）; break; for（j=0;=flag; if（part0j!part0j!=partm） partflag+=part0j; part0j= partm= else part0j= flag0=flag; return flag;void main（） int i,j,flag,x; string Condition; string ss; edge *b=new edgemax; coutbi.first; if（bi.first=#）break; else cinbi.conditionbi.last; N=i;请输入该DFA

6、的终态集合：part1;请输入该DFA的非终态集合：part0;请输入此DFA状态中的边上的条件:Condition; flag=divide（b,Condition）;DFA最小化划分的子集如下： if（parti!）coutparti用状态A,B,C等代替子集：,endl则DFA最小化后的各边信息如下： char lettersmax; char letter=A lettersi=letter; +letter; for（j=0;Condition.length（）; ss=move（parti,Conditionj,b）; if（parti!ss!lettersi Conditionj for（x=0; if（isexist（ss.substr（0,1）,partx）coutlettersx system（pause）;