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);
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1