编译原理 教学课件 作者 李冬梅 施海虎 第3章 词法分析.ppt

定义1 多余状态：从开始状态出发,任何输入串也不能到达的状态 0 1 s0 s1 s2 s3 s5 s7 s1 s5 s1 s2 s2 s5 s5 s1 s1 s3 s0 s1 0 1 s0 s1 s2 s3 s4 s5 s6 s7 s8 s1 s5 s7 s2 s2 s5 s5 s7 s5 s6 s1 s3 s8 s0 s0 s1 s3 s6 例: 画状态图可以看出s4,s6,s8为不可达状态应该消除 定义2 等价状态 状态s和t的等价条件是: ① 状态S和T必须同时为终态或非终态 ② 对于所有输入符号，S和T必须转换到等价的状态里 把DFA的状态划分成一些不相交的子集 任何不同的两个子集的状态都是可区分的 同一子集中的任何两个状态都是等价的 5 7 2 4 3 6 1 srart a a a a a a a b b b b b b b DFA最小化算法的基本思想(没有多余状态)： 解: (一)区分终态与非终态 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 1 2 a b 区号 1 2 3 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 区号 （1）将所有状态分成两个子集：终态集和非终态集 （2）把等价的状态构成一个子集，若不等价继续划分 （3）结束后，重新标号或从每个子集中选一个状态做代表 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 1 2 4 3 1 2 4 3 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 5 区号 区号 将区号代替状态号得: 1 2 3 4 5 a b 5 2 1 4 3 5 5 2 3 1 1 5 5 2 4 3 a a a a a b b b b b 化简后的有穷自动机具有较少的状态，实现起来更加简洁。 3.4.4 正规式与有穷自动机的等价性 （1）对于字母表Σ上的NFA M，可以构造一个Σ上的正规式R，使得L(R)=L(M)； （2）对于字母表Σ上的每个正规式R，可以构造一个Σ上的NFA M，使得L(M)=L(R)。 1. NFA M?正规式R (1)在M上加两个结点S,Z，从S结点用ε弧到M的所有初态，从M的所有终态用ε到Z结成与M等价的M’，M’只有一个初态S和一个终态Z. 例:M: 0 3 2 1 4 start a,b a,b a,b b b a a 解: (1)加S Z S 0 3 4 1 2 Z ε ε ε a a,b a,b a,b a b b (2)逐步消去M’中的所有结点,直至剩下S和Z结点,在消结过程中,逐步用正规式来标记弧, 规则如下: 1.对于 代之为 2.对于 代之为 3.对于 代之为 R1 R2 1 2 3 3 1 R1 R2 1 2 2 1 R2 R1 R2 R1| R1 R3 1 2 3 3 1 R1R2﹡R3 R2 (2)消除M中的所有结点 a|b x 0 2 4 y ε ε ε aa bb a|b a|b x 0 y aa(a|b) * bb(a|b) * a|b ε 解: (1)加xy x 0 3 4 1 2 y ε ε ε a a,b a,b a,b a b b x y (a|b)*(aa|bb)(a|b)* 2.正规式R?NFA M （1）对NFA M构造一个广义的状态图，其中只有一个初态S和终态Z，连接S和Z的有向弧标记为正规式。 （2）对正规式依次进行分解，分解的过程是一个不断加入结点和弧的过程，直到转换图上的所有弧标记上都是字母表Σ上的元素或?为止。 若s,t为Σ上的正规式 (a)对于正规式R=st x y st x y s t t (b)对于正规式R=s|t x y s|t x y s t (c)对于正规式R=rs* t x y rs*t x y r t t s ? A Z S (a|b) * abb ? 例:为R=(a|b) abb构造NFA,使得L(N)=L(R) * S Z