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

编译原理实验报告(二) 鲁庆河 1. 实验名称： 不确定有穷状态自动机的确定化 2. 实验目的： a) 输入：非确定有穷状态自动机 NFA b) 输出：确定化的有穷状态自动机 DFA 3. 实验原理： a) NFA 确定化为 DFA 同一个字符串α可以由多条通路产生，而在实际应用中，作为描述控制过程的自动机，通常都是确定有限自动机 DFA， 因此这就需要将不确定有限自动机转换成等价的确定有限自动机，这个过程称为不确定有限自动机的确定化，即NFA 确定 化为 DFA。 b) ！ NFA 的确定化算法 子集法： c) 若 NFA 的全部初态为S ，S ，…，S ，则令DFA 的初态为： 1 2 n S＝[S ，S ，…，S ]， 其中方括号用来表示若干个状态构成的某一状态。 1 2 n 设 DFA 的状态集K 中有一状态为[S ，S ，…，S ]，若对某符号a∈∑，在NFA 中有F （{S ，S ，…，S }，a） i i+1 j i i+1 j ’ ’ ’ ’ ’ ’ ={ S ，S ，…，S },则令 F （{ S ，S ，…，S }，a）={ S ，S ，…，S }为 DFA 的一个转换函数。 i i+1 k i i+1 j i i+1 k ’ ’ ‘ 若[ S ，S ，…，S ]不在 K 中，则将其作为新的状态加入到 K 中。 i i+1 k 重复第 2 步，直到 K 中不再有新的状态加入为止。 上面得到的所有状态构成 DFA 的状态集 K，转换函数构成 DFA 的F，DFA 的字母表仍然是 NFA 的字母表∑。 DFA 中凡是含有 NFA 终态的状态都是 DFA 的终态。 d) closure （I）函数，move(I,a) 函数的 假设 I 是NFA M 状态集 K 的一个子集（即 I∈K），则定义ε-closure （I）为： 1. 若 Q∈I，则Q∈ ε-closure （I）； 2. 若 Q∈I，则从 Q 出发经过任意条 ε弧而能到达的任何状态Q’，则Q’∈closure （I）。 3. ： 状态集 ε-closure （I）称为状态 I 的 ε闭包。 4. 假设 NFA M＝( K,∑,F,S,Z ),若 I∈K，a∈∑,则定义 I ＝closure （J）,其中 J 是所有从 closure （I）出发,经过一 a 条 a 弧而到达的状态集。 NFA 确定化的实质是以原有状态集上的子集作为 DFA 上的一个状态,将原状态间的转 换为该子集间的转换，从而把不确定有限自动机确定化。经过确定化后，状态数可能增加,而且可能出现一些等价状