《实验五-DFA的最小化5页》由会员分享，可在线阅读，更多相关《实验五-DFA的最小化5页（5页珍藏版）》请在金锄头文库上搜索。
1、编译原理实验报告实验五：DFA的最小化实验目的：1. 熟练掌握DFA及NFA的定义及有关概念。2. 理解并掌握确定的有穷自动机的最小化等算法。实验要求：输入： DFA。输出： 最小化的DFA。实验原理：1.化简DFA关键在于把它的状态集分成一些两两互不相交的子集，使得任何两个不相交的子集间的状态都是可区分的，而同一个子集中的任何两个状态都是等价的，这样可以以一个状态作为代表而删去其他等价的状态，然后将无关状态删去，也就获得了状态数最小的DFA。2.DFA的化简算法：（1） 首先将DFA M的状态划分出终止状态集K1和非终止状态集K2。KK1K2 由上述定义知，K1和K2是不等价的。（2） 对各
2、状态集每次按下面的方法进一步划分，直到不再产生新的划分。设第i次划分已将状态集划分为k组，即：KK1(i)K2(i)Kk(i)对于状态集Kj(i)（j=1,2,k）中的各个状态逐个检查，设有两个状态Kj、 KjKj(i)，且对于输入符号a，有：F（Kj，a）KmF（Kj，a）Kn如果Km和Kn属于同一个状态集合，则将Kj和Kj放到同一集合中，否则将Kj和Kj分为两个集合。（3） 重复第（2）步，直到每一个集合不能再划分为止，此时每个状态集合中的状态均是等价的。（4） 合并等价状态，即在等价状态集中取任意一个状态作为代表，删去其他一切等价状态。（5） 若有无关状态，则将其删去。根据以上方法就将确
3、定有限自动机进行了简化，而且简化后的自动机是原自动机的状态最少的自动机。实验内容：程序代码如下：#include#includeusing namespace std;#define max 100struct edge string first;/边的初始结点string change;/边的条件string last;/边的终点;int N;/NFA的边数string partmax;/分割子集/状态集合I的a弧转换string move(string jihe,char ch,edge *b)int i,j;string s=;for(i=0;ijihe.length();i+) for
4、(j=0;jN;j+)if(bj.first0=jihei&bj.change0=ch) s=s+bj.last;if(s=)return &;else return s;/判断子串是否存在在某一集合bool isexist(string s,string d)if(d!=&0=d.find(s)&d.find(s)=d.length()-1)return 1;else return 0;/分割子集法进行DFA的最小化int divide(edge *b,string change)int x,m,flag=2,flag0,i,j;string ss,part0max; flag0=flag;
5、for(x=0;xchange.length();x+)for(m=0;mflag0;m+)for(i=0;ipartm.length();i+)ss=move(partm.substr(i,1),changex,b);for(j=0;jflag;j+)if(isexist(ss,partj)part0j=part0j+partm.substr(i,1); if(ss=&)part0flag=part0flag+partm.substr(i,1);break;for(j=0;j=flag;j+)if(part0j!=&part0j!=partm)partflag+=part0j;part0j=
6、;partm=;else part0j=;flag0=flag;return flag;void main() int i,j,flag,x; string Change;/输入符号 string ss; edge *b=new edgemax; cout请输入DFA各边信息：起点 条件（空用&表示） 终点，以输入#结束。endl; for(i=0;ibi.first; if(bi.first=#)break; else cinbi.changebi.last; N=i; cout请输入该DFA的终态集合：part1; cout请输入该DFA的非终态集合：part0; cout请输入此DFA状
7、态中的输入符号即边上的条件:Change; flag=divide(b,Change); cout此DFA最小化划分的子集如下：endl; for(i=0;iflag;i+) if(parti!=)coutpartiendl; cout用状态A,B,C等代替子集：; for(i=0;iflag;i+) if(parti!=)coutparti,; coutendl则DFA最小化后的各边信息如下：endl; char lettersmax; char letter=A; for(i=0;iflag;i+) if(parti!=) lettersi=letter; +letter; for(i=0;iflag;i+) for(j=0;jChange.length();j+) ss=move(parti,Changej,b); if(parti!=&ss!=&)coutlettersi Changej ; for(x=0;xflag;x+) if(isexist(ss.substr(0,1),partx)coutlettersxendl; system(pause);实验运行结果如下：
