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

定义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）结束后，重新标号或从每个子集中选一个