编译原理及实现技术（郭德贵）第二章形式语言与自动机.docVIP

第二章形式语言与自动机 目的：使学生掌握非确定有限自动机到确定有限自动机的转换算法；掌握确定有限自动机化简算法。 1. 非确定有限自动机和确定有限自动机的等价性。 对任何一个NFA M，都存在一个DFA　M’ ,　使得L(M’)=L(M)　 首先定义两个闭包： 1) 设I是NFA　M的状态集的子集，定义I的(闭包(_CLOSURE(I)为： 若q ∈I ,则q ∈(_CLOSURE(I) 若q ∈I,那么从q出发经任意条ε弧而能到达的任何状态q’都属于(_CLOSURE(I)。 2) 设I是NFA　M　的状态集的子集，a∈∑,可以定义状态子集Ia∈S，对任一sj∈Ia，必有si∈I，使得si和sj之间存在一条由si指向sj的有向弧，弧上的标记字符恰为 a。 Ia=(_CLOSURE(J) 其中，J是那些可从I中的某一状态节点出发经过一条a弧而能到达的状态节点的全体。 然后对给定的NFA按照如下的步骤进行确定化： 已知 A：NFA, 构造 A’:DFA 1.令A’的初始状态为 I0’= (_CLOSURE({S1,S2,…Sk}), 其中S1…Sk是A的全部初始状态。 2.若I={S1,…,Sm}是A’的一个状态，a((则定义 f’(S’,a)=Ia 将Ia加入S’，重复该过程，直到S’收敛。 3.若I’={S1,…,Sn}是A’的一个状态,且存在一个Si是A的终止状态，则令I’为A’的终止状态。 例 设有NFA M =({ 1 , 2, … 9} , { a , b } , f , {1}, {6 , 7 , 9 }), 其中f如图2.8所示. 按照子集法NFA M进行确定化构造出的状态转换矩阵表如图所示。 I Ia Ib {1,2} {2,4,5,6,7} {3,8} {2,4,5,6,7} φ {3,9,8} {3,8} {9} φ {3,9,8} {9} φ {9} φ φ 对表格的状态子集进行重命名，分别用1、2、3、4、5来代表{1,2}、{2,4,5,6,7}、{3,8}、{3,9,8}、{9}这五个状态子集，形成如图2.10所示的状态转换矩阵，它即是和NFA M等价的DFA M’。 I A b 1 2 3 2* 4 3 5 4* 5 5* 和NFA M等价的DFA M’ 2. 确定有限自动机化简 定义 设DFA M 的两个不同状态q1和q2 , 如果对任意输入的符号串x，从q1和q2出发，总是同时到达接受状态或拒绝状态中，则称q1和q2是等价的。如果q1和q2不等价，则称q1和q2是可区分的。 显然，DFA的终止状态和非终止状态是不等价的。 定义 从有限自动机的初始状态开始，任何输入序列都不能到达的那些状态称为无关状态。 定义 如果DFA M 没有无关状态，也没有彼此等价的状态，则称DFA M 是最小的（或规约的）。 1.将DFA的所有状态K按终态和非终态划分成两个子集Z与K-Z，构成初始化分，记作：(={Z, K-Z}。 2.设当前的划分(中已经含有m个子集: (={I1,I2,…,Im} 对于每一个子集Ii={Si1,Si2,…,Sin}及每一个a((，设 Iin=f(Ii,a)=f(Si1,a)(f(Si2,a)(…(…f(Sin,a) 若Iin中的状态分别落在(中p个不同的子集，则将Iin分为p个更小的子集，得到新的划分(new。 3. 若(new( (, 则将(new作为(重复(2)，直到(不能划分。 4. 将最后所得到的划分(中的每个子集看成一个状态，边作相应修改，确定开始状态和结束状态。 例：2.12 对图2.11所示的DFA M进行最小化。