计算机理论导引实验报告1-确定性有穷状态机(DFA)的最小化.docVIP

HUNAN UNIVERSITY 计算理论导引 实验报告 题 目： 确定性有穷状态机（DFA）的最小化 学生姓名： 学生学号： 专业班级： 计算机科学与技术2班 上课老师： 实验日期： 2014-1-4 目 录 一、实验目的 2 二、实验内容 2 三、实验代码 2 四、测试数据以及运行结果 7 五、实验感想 8 一、实验目的 1、加深对确定型有穷自动机的理解。 2、掌握确定型有穷自动机的最小化方法。 二、实验内容 对于任意给定的一台确定型有穷自动机，编程求与之等价的状态个数最少的确定型有穷自动机。 三、实验代码 #includefstream #includevector using namespace std; struct subset { int id; vectorint set; }; class Grammar { public: Grammar(ifstream in); ~Grammar(void); int k;//状态个数 int tc;//终结符个数 char t[26];//终结符 int m;//边数 int DFA[32][128]; int belong[32];//某个状态属于哪个子集 bool terminal[32];//终结符表 int terminalCount;//终结符个数 bool Mterminal[32];//最小化后的终结符表 int MDFA[32][128];//最小化的DFA表 int MDFAstart;// 最小化的DFA的初态 subset DFAsubset[32];//划分的子集 int subsetcount;//子集的个数 void erase(); vectorsubset spilt(subset I); void min(); bool insameset(int e,subset v); }; Grammar::Grammar(ifstream in) { int i,u,v; char a; memset(terminal,false,sizeof(terminal)); memset(Mterminal,false,sizeof(Mterminal)); for(u=0;u32;u++) for(v=0;v128;v++) { DFA[u][v]=-1; MDFA[u][v]=-1; } this-subsetcount=0; inthis-k;//状态个数 inthis-tc;//终结符个数 for(i=0;itc;i++)//所有终结符 int[i]; inthis-terminalCount;//终态个数 for(i=0;ithis-terminalCount;i++)//标志终态 { inu; terminal[u]=true; } inthis-m;//边数 for(i=0;im;i++)//构造邻接矩阵 { inuav; DFA[u][a]=v; } this-min(); } void Grammar::min() { subset start,end; int i,id=0; start.id=id++; end.id=id++; for(i=1;i=this-k;i++) { if(terminal[i]) { end.set.push_back(i); belong[i]=end.id; } else { start.set.push_back(i); belong[i]=start.id; } } DFAsubset[subsetcount++]=start; DFAsubset[subsetcount++]=end; while(true) { bool flag=false; for(i=0;isubsetcount;i++) { if(DFAsubset[i].set.size()2) continue; vectorsubset vs=spilt(DFAsubset[i]); if(vs.size()1) { flag=true; vs[0].id=DFAsubset[i].id; DFAsubset[i]=vs[0]; for(unsigned int j=1;jvs.size();j++) { DFAsubset[subsetcount]=vs[j]; DFAsubset[su