第4章 词法分析.pptVIP

3)讨论K21={0，1，2}能否分割：{0，1，2}a＝{1}而{0，2}b＝{2}?K21{1}b＝{3}?K22所以可分割为K211={0，2}K212={1}第94页，共147页，星期日，2025年，2月5日4)讨论K211={0，2}能否分割：{0，2}a＝{1}{0，2}b＝{2}所以不可分割，0状态与2状态等价，不再分割。所以最终将状态集K分割为{0，2}，{1}，{3}，{4}，一共四组。第95页，共147页，星期日，2025年，2月5日最后，令状态0代表{0，2}。把原来到达2的弧都导入0，并删除2状态。即可得到化简后的DFA。4ab310abaabb第96页，共147页，星期日，2025年，2月5日示例【例6】标识符的正规式r为l(l|d)*1.由正规式r构造NFA为：Y1?Xl2?ld第97页，共147页，星期日，2025年，2月5日2.NFA确定化为DFA：初态?-closure({X})＝{X}IIlId初态{X}{X}l={1,2,Y}{X}d=?终态{1,2,Y}{2,Y}{2,Y}终态{2,Y}{2,Y}{2,Y}第98页，共147页，星期日，2025年，2月5日重命名为：ld01?122222状态输入符第99页，共147页，星期日，2025年，2月5日DFA的状态转换图为：2d0ll1l，d第100页，共147页，星期日，2025年，2月5日3.DFA的化简：DFA的状态集K＝{0，1，2}1)首先把状态K分为可区别的两组状态集：终态集K1={1，2}非终态集K2={0}第101页，共147页，星期日，2025年，2月5日2)讨论K1={1，2}能否分割：{1，2}a＝{2}{1，2}b＝{2}所以不可分割，1状态与2状态等价，不再分割。所以最终将状态集K分割为{0}，{1，2}，一共两组。第102页，共147页，星期日，2025年，2月5日最后，令状态1代表{1，2}。把原来到达2的弧都导入1，并删除2状态。即可得到化简后的DFA。0l1l，d第103页，共147页，星期日，2025年，2月5日六、正规文法有穷自动机对于正规文法G和有穷自动机FAM，如果L(G)=L(M),则称G和M等价。转换第104页，共147页，星期日，2025年，2月5日整个转换过程中，可用X表示初态，Y表示终态，所有新结点均采用不同的名字标记，可依次用1、2、3……等。第62页，共147页，星期日，2025年，2月5日示例【例3】构造正规式r1＝01*的NFA。X01*YX0Y11*X011εY2ε第63页，共147页，星期日，2025年，2月5日2.NFADFA从NFA的矩阵表示中可以看出，表项通常是多个状态的集合，而在DFA的矩阵表示中，表项是一个状态，NFA到相应的DFA的构造的基本思路是：DFA的每一个状态对应NFA的一组状态。DFA使用它的状态去记录在NFA读入一个输入符号后可能达到的所有状态。确定化方法：状态子集法。确定化第64页，共147页，星期日，2025年，2月5日状态子集【状态子集I的ε-闭包：ε-CLOSURE(I)】a)若q∈I，则q∈ε-CLOSURE（I）；b)若q∈I，那么从q出发经任意条ε弧而能到达的任何状态q都属于ε_CLOSURE（I）；【状态子集Ia=ε_CLOSURE(J)】a∈∑，I是状态子集，J是那些可从I中的某一状态结点出发经过一条a弧而到达的状态结点的全体。第65页，共147页，星期日，2025年，2月5日示例I={1},?-closure(I)={1,2}；Ia＝{1}a＝{5,6,2,3,8,4,7};I={5},?-closure(I)={5,6,2}；Ia＝{5}a＝{3,8};{1,2}a=?-closure({5,3,4})={2,3,4,5,6,7,8}；12534687aa?????a第66页，共147页，星期日，2025年，2月5日示例【例4】画出正规式：（a|b)*(aa|bb)(a|b)*对应的NFA。4Y3