编译原理课件概要.ppt

C和D同是终态,读入a到达C和F, C和F同是终态, C和D读入b都到达E,D读入b都到达D.因此 C和D等价。 化简方法（分割法） 【例】设有DFA M如右图所示： 划分状态集为{4}和 {0,1,2,3} 对于{0,1,2,3}和输入字符a和b: f(0,a)=1 f(1,a)=1 f(2,a)=1 f(3,a)=1 f(0,b)=2 f(1,b)=3 f(2,b)=2 f(3,b)=4 只有状态3在输入为b时映像不在后继状态{0,1,2,3}中，因此该状态集划分为{3}和{0,1,2} 对于{0,1,2}：状态1在输入为b时的后继状态不在{0,1,2}中，因此划分为{1}和{0,2} 对于{0,2}:对于相同输入字符，该子集中每一状态映像得到的后继状态都相同，因此不再可划分 对于划分结果{4}, {3}, {1}, {0,2}，把{0,2} 合并为一个状态，分别标记为新状态3,2,1, 0，其状态转换图如图 3 a a a a b b 0 2 1 b 3 最后划分为：{4} {3} {1} {0,2} C D B A E F S b a a a a a b b b b b a b F a 【例】化简下图,使其最小化 1、首先划分状态集为{S,A,B}，{C,D,E,F} C D B A E F S b a a a a a a b b b b b b a b {S},{B} a {A}，{S,B} {S,A,B} D B A S a a a b b b b a f(S,a)=A f(A,a)=C f(B,a)=A 2、将{S,A,B}分解为{S},{A},{B} 【例】构造正规表达式0*(0 | 10)*0* ?1、首先构造NFA为 X A B ? ? 0 0 1 b 0 C ? D ? 0 Y 2、用子集法确定化 I I0 I1 S 0 1 {X,A,B,C,Y} {A,B,D,Y} {C} {B,D,Y} {A,B,D,Y} {A,B,D,Y} {B,D,Y} {B,D,Y} {C} {C} / {C} 1 2 3 4 2 2 4 4 3 3 ? 3 DFA （1）终态组为{1,2,4}，非终态组为{3}，{1,2,4}， （2）因为1,2,4为等价状态，可合并。 （3）最终的状态集的划分{1}，{3} 3、化简（最小化） b 1 3 1 0 0 0 化简后的DFA： 【 例】将图示NFA确定化 T7 T6 T5 T4 T3 T2 T1 {1,4,6,2,Z} {1,5,3,2,6,Z} {1,3,6,2,Z} {1,5,4,2,6,Z} {1,3,6,2,Z} {1,4,6,2,Z} {1,5,4,2,6,Z} {1,3,6,2,Z} {1,4,5,2,6,Z} {1,4,6,2,Z} {1,5,3,6,2, Z} {1,3,5,2,6,Z} {1,4,5,2,6,Z} {1,3,2} {1,4,2} {1,4,2} {1,3,5,2,6,Z} {1,3,2} {1,4,2} {1,3,2} {S,1,2} =ε-闭包( I ) I1 I0(move后的ε-闭包) 标记新状态Ti(T1为初态) 重新命名新状态 正规文法与有限自动机的等价性 对于正规文法G和有限自动机M,如果L(G)=L(M),则称G和M是等价的。 关于正规文法和有限自动机的等价性，有以下结论： (1)对每一个右线性正规文法G或左线性正规文法M，都存在一个有限自动机(FA)M，使得L(M）=L(G）。 (2）对每一个FA M,都存在一个右线性文法Gr和左线性正规文法Gl，使得L(M)=L(Gr)=L(Gl) 3G （右线性文法）—FA： (1)字母表与G的终结符集相同（∑＝VT）；对每个非终结符画一个结点，开始符S为开始结点； (2)增设一个终止结点Z; (3)对形如U—a的规则，画一条从U到Z的a弧; (4)对形如U—aW的规则，画一条从U到W的a弧; 正规文法和有穷自动机的等价性 采用下面的规则从正规文法G直接构造一个有穷自动机NFA N，使得L(N)=L(G)： 3G （左线性文法）—FA： (1)字母表与G的终结符集相同（∑＝VT）;对每个非终结符画一个结点，开始符S为终止结点； (2)增设一个开始结点Z; (3)对形如U—a的规则，画一条从Z到U的a弧; (4)对形如U—Wa的规则，画一条从W到U的a弧; 对左线性文法，则把上述算法中的“开始结 点”与“终止结点”互换，且将各弧反向。 【例】对无符号整数文法 　GN: N::=dN|d 可构造状态图： 【例】　对标识符文法 　GN: N::=Nd|d 可构造状