不确定有穷状态自动机的确定化实验报告重点.docVIP

编译原理实验报告(二) 鲁庆河 实验名称： 不确定有穷状态自动机的确定化 实验目的： 输入：非确定有穷状态自动机NFA 输出：确定化的有穷状态自动机DFA 实验原理： NFA确定化为DFA 同一个字符串α可以由多条通路产生，而在实际应用中，作为描述控制过程的自动机，通常都是确定有限自动机DFA，因此这就需要将不确定有限自动机转换成等价的确定有限自动机，这个过程称为不确定有限自动机的确定化，即NFA确定化为DFA。 NFA的确定化算法 ----- 子集法： 若NFA的全部初态为S1，S2，…，Sn，则令DFA的初态为： S＝[S1，S2，…，Sn]， 其中方括号用来表示若干个状态构成的某一状态。 设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中。 重复第2步，直到K中不再有新的状态加入为止。 上面得到的所有状态构成DFA的状态集K，转换函数构成DFA的F，DFA的字母表仍然是NFA的字母表∑。 DFA中凡是含有NFA终态的状态都是DFA的终