第3章词法分析.pptVIP

课堂练习4f35621i????aaaabbbbstart第61页，共118页，星期日，2025年，2月5日等价的DFAaCDBAEFSbaaaaabbbbbabFstart第62页，共118页，星期日，2025年，2月5日4.DFA的最小化如果不同的DFA能识别相同的语言，则称它们是等价的DFA。在等价的DFA中，如果某一个DFA的状态数是最少的，则这个DFA是最简的。对于任一个DFA，存在一个唯一的状态最少的等价的DFA最简的DFA?它没有多余状态和等价状态第63页，共118页，星期日，2025年，2月5日定义1多余状态：从开始状态出发,任何输入串也不能到达的状态01s0s1s2s3s5s7s1s5s1s2s2s5s5s1s1s3s0s101s0s1s2s3s4s5s6s7s8s1s5s7s2s2s5s5s7s5s6s1s3s8s0s0s1s3s6例:画状态图可以看出s4,s6,s8为不可达状态应该消除第64页，共118页，星期日，2025年，2月5日定义2等价状态状态s和t的等价条件是:①状态S和T必须同时为终态或非终态②对于所有输入符号，S和T必须转换到等价的状态里第65页，共118页，星期日，2025年，2月5日把DFA的状态划分成一些不相交的子集任何不同的两个子集的状态都是可区分的同一子集中的任何两个状态都是等价的5724361srartaaaaaaabbbbbbbDFA最小化算法的基本思想(没有多余状态)：第66页，共118页，星期日，2025年，2月5日解:(一)区分终态与非终态12345663731546737414212ab区号123123456637315467374142ab区号（1）将所有状态分成两个子集：终态集和非终态集（2）把等价的状态构成一个子集，若不等价继续划分（3）结束后，重新标号或从每个子集中选一个状态做代表第67页，共118页，星期日，2025年，2月5日123456637315467374142ab12431243123456637315467374142ab5区号区号第68页，共118页，星期日，2025年，2月5日将区号代替状态号得:12345ab5214355231155243aaaaabbbbb化简后的有穷自动机具有较少的状态，实现起来更加简洁。第69页，共118页，星期日，2025年，2月5日3.4.4正规式与有穷自动机的等价性（1）对于字母表Σ上的NFAM，可以构造一个Σ上的正规式R，使得L(R)=L(M)；（2）对于字母表Σ上的每个正规式R，可以构造一个Σ上的NFAM，使得L(M)=L(R)。第70页，共118页，星期日，2025年，2月5日1.NFAM?正规式R(1)在M上加两个结点S,Z，从S结点用ε弧到M的所有初态，从M的所有终态用ε到Z结成与M等价的M’，M’只有一个初态S和一个终态Z.例:M:03214starta,ba,ba,bbbaa解:(1)加SZS03412Zεεεaa,ba,ba,babb第71页，共118页，星期日，2025年，2月5日(2)逐步消去M’中的所有结点,直至剩下S和Z结点,在消结过程中,逐步用正规式来标记弧,规则如下:1.对于代之为2.对于代之为3.对于代之为R1R212331R1R21221R2R1R2R1|R1R312331R1R2﹡R3R2第72页，共118页，星期日，2025年，2月5日(2)消除M中的所有结点a|bx024yεεεaabba|ba|bx0yaa(