第四章词法分析.pptVIP

一、确定的有穷自动机DFA例4.3.2:证明t=baab被下图的DFA所接受bSUVQabba,baaf（S，baab）=f（f（S，b），aab）=f（V，aab）=f（f（V，a），ab）=f（U，ab）=f（f（U，a），b）=f（Q，b）=QQ属于终态。得证。第29页，共81页，星期日，2025年，2月5日DFA行为的程序模拟.DFAM=（K，Σ，f，S，Z）的行为的模拟程序K:=S；c:=getchar;whileceofdo{K:=f(K,c);c:=getchar;};ifKisinZthenreturn(‘yes’)elsereturn(‘no’)一、确定的有穷自动机DFA第30页，共81页，星期日，2025年，2月5日二、不确定的有穷自动机NFANFA定义:NFAN=(K,?,f,S,Z)，其中K为有穷状态集，?为有穷输入字母表，f为K??到K的子集的映射，S?K是一个非空初态集，Z?K为终态集。NFA与DFA的区别主要有:NFA中状态转换函数为多值函数。NFA中起始状态可以有多个，但从正规文法出发构造的NFA起始状态是唯一的。第31页，共81页，星期日，2025年，2月5日二、不确定的有穷自动机NFA例4.3.3:NFAN=({S,P,Z},{0,1},f,{S,P},{Z})其中f（S，0）={P}f（S，1）={S，Z}f（P，1）={Z}f（Z，0）={P}f（Z，1）={P}SPZ00,1111状态图表示第32页，共81页，星期日，2025年，2月5日矩阵表示简化为二、不确定的有穷自动机NFA第33页，共81页，星期日，2025年，2月5日类似DFA,NFAN=(K，?，f，S，Z)也有如下定义：符号串t在NFAN上运行一个输入符号串t(将它表示成Tt1的形式,其中T∈∑,t1∈∑*)在NFAN上运行的定义为：f(Q,Tt1)=f(f(Q,T),t1)其中Q∈K.符号串t被NFAN接受若f(S0,t)=P,其中t?∑*,S0∈S,P?Z,则称t为NFAN所接受(识别)二、不确定的有穷自动机NFA第34页，共81页，星期日，2025年，2月5日符号串t被NFAN接受也可以这样理解对于任何一个符号串t(t∈∑*)，若存在一条从某一初态到某一终态的道路，且这条道路上所有弧的标记字依序连接成的串(不计ε弧)等于t，则称t为NFAN所接受。二、不确定的有穷自动机NFA有了上述定义后，实际上也就是对NFA的转换函数

f进行了如下扩充:

f:K???K的子集?f:K??*?K的子集第35页，共81页，星期日，2025年，2月5日二、不确定的有穷自动机NFA例4.3.4:下列符号串哪些可以被图中NFA所接受？11110100010001100第36页，共81页，星期日，2025年，2月5日二、不确定的有穷自动机NFA例4.3.4:下列符号串哪些可以被图中NFA所接受？11110100010001100第37页，共81页，星期日，2025年，2月5日

若将NFAN所能接受的符号串的全体记为L(N)，则有如下结论：对每个NFAN存在着与之等价的DFAM，使得L(M)=L(N)。并且最小的DFAM是唯一的。将NFA转换成等价的DFA的算法---子集法。二、不确定的有穷自动机NFA第38页，共81页，星期日，2025年，2月5日有关状态集合I的两个运算：1.状态集合I的ε-闭包，记为ε-closure(I)，定义为一状态集，是由状态集I中的任何状态S经任意条ε弧而能到达的状态所构成的集合。状态集合I的任何状态都属于ε-closure(I)。2.状态集合I的a弧转换，记为move(I,a)，是所有那些可从I中的某一状态经过一条a弧而到达的状态的全体。三、NFA的确定化第39页，共81页，星期日，2025年，2月5日12534687aa?????a三、NFA的确定化有关状态集合I的运算实例计算下列各式的值1)move({1,2},a)2)?-closure({5,3,4})运算结果：1)={5,3,4};2)=