三章词法分析.ppt

中南大学软件学院 陈志刚 2．对于Σ上的每个正规集V，存在一个Σ上的DFA M，使得V=L(M)。 证明：第一步，用替代办法构造一个NFA M’，使V=L(M’)，因为正规集V可用正规式u来描述，而u由一系列单个字符连接而成，故可用下述方法分解之： 五、正规式和有限自动机的等价性 S Z e1e2 S Z e1 e2 S Z e1|e2 S Z {e} S Z ? ? S Z e1 e2 e 具体方法：构造如下转换图： 逐步分解，便可得到一个NFA M’，有L(u)=V=L(M’)。 例1． 第二步，把NFA M’确定化为DFA M，得证。 五、正规式和有限自动机的等价性 举例 例：正则表达式(A|B){A|B|0|1}的转换系统的构造过程如下： S Z (A|B){A|B|0|1} S Z (A|B) {A|B|0|1} S Z A B ? ? A|B|0|1 S Z A B ? ? 1 0 A B 概念1. 假设I是NFA M’的状态集的一个子集，我们定义ε-CLOSURE(I)为（I的ε-闭包）。 （1）若S∈I，则S∈ε-CLOSURE(I) （2）若S∈I ，则从s出发经过任意条ε弧而达到的状态s’，有s’∈ε-CLOSURE(I) 例1. 五、正规式和有限自动机的等价性 若I={1, 3}，则ε-CLOSURE(I) ={1, 3, 2, 8} 概念2. 假定I是M’的状态子集，a是Σ中的字符，定义Ia= ε-CLOSURE(J),其中J是I中任意状态出发（跳过前面任意多条ε弧），经过一条a弧而能达到的状态结的全体。 例2．同例1 DFA， Ia={5,6,2} 利用概念1和概念2，便可把NFA确定化。 五、正规式和有限自动机的等价性 五、正规式和有限自动机的等价性 令 ，构造一张如下的表，此表第0列为状态子集I，第1至m列分别为状态子集 ，设第一行第0列为ε-CLOSURE(X),，其中X为NFA M’的初态，求出第一个的 ，如果某个Iai(i=1,…,m)未曾在第0列中列出，则把Iai补入状态子集集合I中，即列于第0列新的一行。 重复上述各步，直至所有行的Iai(i=1,…,m)均在第0列I中出现过为止。这种循环必将在有限步内中止。（因为S是有限状态集，所以S中状态的组合数也是有限的） 显然，这张表可以看成一个状态转换表，也就是说可把I中每个子集看成一个状态，而状态转换表唯一地刻划了一个DFA M，其初态为该表的第1行第0列，含有原NFA M’终态的子集为新的终态。（证毕） 推论：一个子集是正规的，当且仅当它可由一个DFA（或NFA）所识别。 五、正规式和有限自动机的等价性 例：设计一个DFA M，它识别二进制偶数（不以0开头的无符号数） 解： 1． 写出正规式 1（1|0）* 0 2． 画出NFA M’ 细化为： 3. 确定化为DFA M 五、正规式和有限自动机的等价性 五、正规式和有限自动机的等价性 或： 举例 正则表达式{a}|{(a|b)a}的相应转换系统与状态转换图的构造过程。 A B {a}|{(a|b)a} A B {(a|b)a} {a} A B D C a (a|b)a ? ? ? ? A B D C a a ? ? ? ? E a b (a) (b) (c) (d) 开始状态：A 终止状态：B 前例续 NFA N = ({A,C,D,E}, {a,b}, M, {A,C,D}, {A,C,D}) M: M(A,a)={C,E} M(A,b)={E} M(C,a)={C} M(D,a)={E} M(D,b)={E} M(E,a)={D} A B D C a a ? ? E a b A C a a a b (e) (f) D a E a b 开始状态：A, B 终止状态：B, C, D 开始状态：A, C, D 终止状态：A, C, D 正则表达式的值与有穷自动机所接受的语言 定理3.11：?上的NFA A所接受的字符串集合L(A)是?上的某个正则表达式e的值，即L(A)=|e|。 例: NFA N相应的状态转换图为图(a)，则N所接受的语言为合成所得到的正则表达式 {(aa|bb)|(ab|ba){aa|bb}(ab|ba)} 的值。 Z T ab, ba ab, ba aa, bb aa, bb (a) Z T ab|ba ab|ba aa|bb aa|bb X Y ? ? (b) 前例续 正则表达式与有穷状态自动机是等价的。 Z aa|bb X Y ? ? (ab|ba){aa|bb}(ab|ba) X