确定化.docVIP

学号: 专业:计算机科学与技术二班 姓名:胡鹏程 实验日期:2012/5/11 教师签字: 成绩: 《编译原理》 课程实验报告 实验四:有限状态自动机的确定化 一．实验要求： 输入： 非确定有限状态自动机。 输出： 确定化的有限状态自动机 .实验原理： 同一个字符串α可以由多条通路产生，而在实际应用中，作为描述控制过程的自动机，通常都是确定有限自动机DFA，因此这就需要将不确定有限自动机转换成等价的确定有限自动机，这个过程称为不确定有限自动机的确定化，即NFA确定化为DFA。 下面介绍一种NFA的确定化算法，这种算法称为子集法： （1）若NFA的全部初态为S1，S2，…，Sn，则令DFA的初态为： S＝[S1，S2，…，Sn]， 其中方括号用来表示若干个状态构成的某一状态。 （2）设DFA的状态集K中有一状态为[Si，Si+1，…，Sj]，若对某符号a∈∑，在NFA中有F（{ Si，Si+1，…，Sj }，a）={ Si’，Si+1’，…，Sk’ } 则令F（{ Si，Si+1，…，Sj }，a）={ Si’，Si+1’，…，Sk’ }为DFA的一个转换函数。若[ Si’，Si+1’，…，Sk‘ ]不在K中，则将其作为新的状态加入到K中。 （3）重复第2步，直到K中不再有新的状态加入为止。 （4）上面得到的所有状态构成DFA的状态集K，转换函数构成DFA的F，DFA的字母表仍然是NFA的字母表∑。 （5）DFA中凡是含有NFA终态的状态都是DFA的终态。 对于上述NFA确定化算法——子集法，还可以采用另一种操作性更强的描述方式，下面我们给出其详细描述。首先给出两个相关定义。 假设I是NFA M状态集K的一个子集（即I∈K），则定义ε-closure（I）为： （1）若Q∈I，则Q∈ε-closure（I）； （2）若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弧而到达的状态集。 NFA确定化的实质是以原有状态集上的子集作为DFA上的一个状态，将原状态间的转换为该子集间的转换，从而把不确定有限自动机确定化。经过确定化后，状态数可能增加，而且可能出现一些等价状态，这时就需要简化。 #includeiostream #includestring #define MAX 100 using namespace std; string NODE; //结点集合 string CHANGE; //终结符集合 int N; //NFA边数 struct edge{ string first; string change; string last; }; struct chan{ string ltab; string jihe[MAX]; }; void kong(int a) { int i; for(i=0;ia;i++) cout ; } //排序 void paixu(string a) { int i,j; char b; for(j=0;ja.length();j++) for(i=0;ia.length();i++) if(NODE.find(a[i])NODE.find(a[i+1])) { b=a[i]; a[i]=a[i+1]; a[i+1]=b; } } void eclouse(char c,string he,edge b[]) { int k; for(k=0;kN;k++) { if(c==b[k].first[0]) if(b[k].change==*) { if(he.find(b[k].last)he.length()) he+=b[k].last; eclouse(b[k].last[0],he,b); } } } void move(chan he,int m,edge b[]) { int i,j,k,l; k=he.ltab.length(); l=he.jihe[m].length(); for(i=0;ik;i++) for(j=0;jN;j++) if((CHANGE[m]==b[j].change[0])(he.ltab[i]==b[j].first[0])) if