《词法分析程序的设计原则-单词的描述技术-识别机制及词法复习进程.ppt》由会员分享，可在线阅读，更多相关《词法分析程序的设计原则-单词的描述技术-识别机制及词法复习进程.ppt（69页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、词法分析程序的设计原则-单词的描述技术-识别机制及词法回顾回顾什麽是词法分析程序4实现词法分析（lexicalanalysis）的程序逐个读入源程序字符并按照构词规则切分成一系列单词。单词是语言中具有独立意义的最小单位，包括保留字、标识符、运算符、标点符号和常量等。词法分析是编译过程中的一个阶段，在语法分析前进行。也可以和语法分析结合在一起作为一遍，由语法分析程序调用词法分析程序来获得当前单词供语法分析使用。词法分析程序和语法分析程序的关系源程序词法分析程序语法分析程序Tokengettoken.源程序词法分析程序语法分析程序源程序词法分析程序语法分析程序源程序词法分析程序的主要任务：读源程序
2、，产生单词符号词法分析程序的其他任务：滤掉空格，跳过注释、换行符追踪换行标志，复制出错源程序，宏展开，词法分析工作从语法分析工作独立出来的原因：简化设计改进编译效率增加编译系统的可移植性单词的描述工具-正规表达式正规表达式单词的识别系统-有穷自动机有穷自动机设计词法分析程序,实现词法分析程序的自动构造令=a，b，上的正规式和相应的正规集的例子aabab(ab)(ab)a(ab)(ab)(aabb)(ab)正规式正规式也称正则表达式,是定义正规集的数学工具。正规表达式（regularexpression）是说明单词的模式(pattern)的一种重要的表示法（记号），我们用以描述单词符号。令=a，
3、b，上的正规式和相应的正规集的例子aabab(ab)(ab)a(ab)(ab)(aabb)(ab)aa,babaa,ab,ba,bb,a,aa,任意个a的串,a,b,aa,ab,bb所有由a和b组成的串上所有含有两个相继的a或两个相继的b组成的串讨论两个例子例3.1令=l，d，则上的正规式r=l(ld)定义的正规集为:l,ll,ld,ldd,其中l代表字母,d代表数字,正规式即是字母(字母|数字),它表示的正规集中的每个元素的模式是“字母打头的字母数字串”,就是Pascal和多数程序设计语言允许的的标识符的词法规则.例3.2=d，e，+，-,则上的正规式d(dd)(e(+-)dd)表示的是无符
4、号数的集合。其中d为09的数字。程序设计语言的单词都能用正规式程序设计语言的单词都能用正规式 来定义来定义.有穷自动机有穷自动机有穷自动机(也称有限自动机)作为一种识别装置，它能准确地识别正规集，即识别正规式所表示的集合.应用有穷自动机这个理论，为词法分析程序的自动构造寻找有效的方法和工具。有穷自动机分为两类：确定的有穷自动机(DeterministicFiniteAutomata)和不确定的有穷自动机(NondeterministicFiniteAutomata)。关于有穷自动机有穷自动机我们将讨论如下题目确定的有穷自动机DFA不确定的有穷自动机NFANFA的确定化DFA的最小化确定的有穷自
5、动机DFADFA定义：一个确定的有穷自动机（DFA）M是一个五元组：M=（K，f，S，Z）其中1.K是一个有穷集，它的每个元素称为一个状态；2.是一个有穷字母表，它的每个元素称为一个输入符号，所以也称为输入符号表；DFA定义3.f是转换函数，是在KK上的映射，即，如 f（ki，a）=kj，（kiK，kjK）就意味着，当前状态为ki，输入符为a时，将转换为下一个状态kj，我们把kj称作ki的一个后继状态；4.SK是唯一的一个初态；5.ZK是一个终态集，终态也称可接受状态或结束状态。一个DFA的例子：DFAM=（S，U，V，Q，a，b，f，S，Q）其中f定义为：f（S，a）=Uf（V，a）=Uf（
6、S，b）=Vf（V，b）=Qf（U，a）=Qf（Q，a）=Qf（U，b）=Vf（Q，b）=QDFA的状态图表示bSUVQaaaba，bbDFA 的矩阵表示的矩阵表示字符字符状态状态0001*上的符号串上的符号串t t被被DFADFA M M接受接受例例：证明证明t=baab被下图的被下图的DFA所接受所接受。f（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属于终态。属于终态。得证。得证。bSUVQabba,baaDFAM所能接受的符号串的全体记为L(M).结论：上一个符号串集V是正
7、规的，当且仅当存在一个上的确定有穷自动机M，使得V=L(M)。DFA的行为很容易用程序来模拟.DFAM=（K，f，S，Z）的行为的模拟程序K:=S；c:=getchar;whileceofdoK:=f(K,c);c:=getchar;ifKisinZthenreturn(yes)elsereturn(no)DFA =digit,not digit不确定的有穷自动机NFA定义NFAM=K，f，S，Z，其中K为状态的有穷非空集，为有穷输入字母表，f为K*到K的子集（2K）的一种映射，SK是初始状态集，ZK为终止状态集.例子NFAM=（S，P，Z，0，1，f，S，P，Z）其中f（S，0）=Pf（S，
8、1）=S，Zf（P，1）=Zf（Z，0）=Pf（Z，1）=P状态图表示SPZ00,1111矩阵表示矩阵表示简化为具有转移的不确定的有穷自动机f为K*到K的子集（2K）的一种映射123abc有如下定理:对任何一个具有转移的不确定的有穷自动机NFAN，一定存在一个不具有转移的不确定的有穷自动机NFA，使得L(M)=L(N)。与上例等价的一个NFA.2acbb31acacbb类似DFA,对NFAM=K，f，S，Z也有如下定义*上的符号串t在NFAM上运行.一个输入符号串t，（我们将它表示成Tt1的形式，其中T，t1*）在NFAM上运行运行的定义为：f（Q，Tt1）=f（f（Q，T），t1）其中QK.
9、*上的符号串t被NFAM接受若t*，f(S0，t)=P，其中S0S，PZ，则称t为NFAM所接受接受（识别识别）*上的符号串t被NFA M接受也可以这样理解对于中的任何一个串t，若存在一条从某一初态结到某一终态结的道路，且这条道路上所有弧的标记字依序连接成的串(不理采那些标记为的弧)等于t，则称t可为NFAM所识别(读出或接受)。若M的某些结既是初态结又是终态结，或者存在一条从某个初态结到某个终态结的道路,其上所有弧的标记均为，那么空字可为M所接受。00011110100011100000010001100NFAM所能接受的符号串的全体记为L(M)结论：上一个符号串集V是正规的，当且仅当存在一
10、个上的不确定的有穷自动机M，使得V=L(M)。(0|1)*(000|111)(0|1)*确定有限自动机和不确定有限自动机确定有限自动机和不确定有限自动机DFA是NFA的特例.对每个NFAN一定存在一个DFA，使得L(M)=L(N)。对每个NFAN存在着与之等价的DFAM。有一种算法，将NFA转换成接受同样语言的DFA.这种算法称为子集法子集法.与某一与某一NFA等价的等价的DFA不唯一不唯一.NFA确定化算法:假设NFAN=(K,f,K0,Kt)按如下办法构造一个DFAM=(S,d,S0,St)，使得L(M)=L(N)：1.M的状态集S由K K的一些子集的一些子集组成。用S1S2.Sj表示S的
11、元素，其中S1,S2,.Sj是K的状态。并且约定，状态S1,S2,.Sj是按某种规则排列的，即对于子集S1,S2=S2,S1,来说，S的状态就是S1S2；2M和N的输入字母表是相同的，即是；3转换函数是这样定义的：d(S1S2,.Sj,a)=R1R2.Rt 其中R1,R2,.,Rt=-closure(move(S1,S2,.Sj,a)4S0=-closure(K0)为M的开始状态；5St=SiSk.Se，其中SiSk.SeS且Si,Sk,.SeKt定义对状态集合I的几个有关运算：1.状态集合状态集合I I的的-闭包闭包，表示为-closure(I)，定义为一状态集，是状态集I中的任何状态S经任
12、意条弧而能到达的状态的集合。状态集合I的任何状态S都属于-closure(I)。2.状态集合状态集合I I的的a a弧转换弧转换，表示为move(I,a)定义为状态集合J，其中J是所有那些可从I中的某一状态经过一条a弧而到达的状态的全体。状态集合I的有关运算的例子I=1,-closure(I)=1,2；I=5,-closure(I)=5,6,2；move(1,2,a)=5,3,4-closure(5,3,4)=2,3,4,5,6,7,8；12534687aaa构造NFAN的状态状态K K的子集的子集的算法：假定所构造的子集族为C，即C=(T1,T2,.TI),其中T1,T2,.TI为状态K的子
13、集。1开始，令-closure(K0)为C中唯一成员，并且它是未被标记的。2while（C中存在尚未被标记的子集T）do 标记T；for每个输入字母adoU:=-closure(move(T,a)；ifU不在C中then将U作为未标记的子集加在C中NFA的确定化例子4f35621iaaaabbbb4f35621iaaaabbbb等价的DFAaCDBAEFSbaaaaabbbbbabF确定有穷自动机的化简说一个有穷自动机是化简了的，即是说，它没有多余状态并且它的状态中没有两个是互相等价的。一个有穷自动机可以通过消除多余状态和合并等价状态而转换成一个最小的与之等价的有穷自动机。所谓有穷自动机的多余
14、状态，是指这样的状态：从自动机的开始状态出发，任何输入串也不能到达的那个状态；或者从这个状态没有通路到达终态。DFA的最小化就是寻求最小状态DFA最小状态DFA的含义:没有多余状态(死状态)没有两个状态是互相等价（不可区别）两个状态s和t可区别：不满足兼容性同是终态或同是非终态传播性从s出发读入某个aa和从t出发读入某个a到达的状态等价。C和D同是终态,读入a到达C和F,C和F同是终态,C和F读入a都到达C,读入b都到达E.C和D等价aCDBAEFSbaaaaabbbbbabF最小状态DFA对于一个DFA M=（K,f,k0,kt)，存在一个最小状态DFAM=（K,f,k0,kt)，,使L(M
15、)=L(M).结论接受L的最小状态有穷自动机不计同构是唯一的。“分割法”DFA的最小化算法的核心把一个DFA的状态分成一些不相交的子集，使得任何不同的两子集的状态都是可区别的，而同一子集中的任何两个状态都是等价的.算法假定每个状态射出的弧都是完全的,否则,引入一个新状态,叫死状态,该状态是非终态，将不完全的输入弧都射向该状态，对所有输入，该状态射出的弧还回到自己.DFA的最小化算法 DFA M=（K,f,k0,kt),最小状态DFAM 1.构造状态的一初始划分：终态kt 和非终态K-kt两组(group)2.对施用过程过程PPPP 构造新划分new 3.如new =,则令 final=并继续步
16、骤4，否则:=new重复2.4.为final中的每一组选一代表，这些代表构成M的状态。若k是一代表且f(k,a)=t,令r是t组的代表，则M中有一转换f(k,a)=r M 的开始状态是含有S0的那组的代表 M 的终态是含有F的那组的代表 5.去掉M中的死状态.过程过程PPPP:Construction of newFor each group G of do begin 1.Partiton G into subgroups such that two states s and t of G are in the same subgroups if and only if for all in
17、put symbols a,states s and t have transitions on a to states in the same group of;/*at worst,a state will be in a subgroup by itself*/2.replace G in new by the set of all subgroups formed end DFA的最小化例子0:S,A,B C,D,E,F1:S,A,B C,D,E,F 2:CDBAEFSbaaaaaabbbbbbaA S,BbB SDBASaaabbbbaa词法分析程序的自动构造对有穷自动机和正规表达式
18、进行了上述讨论之后,我们介绍词法分析程序的自动构造方法,这个方法基于有穷自动机和正规表达式的等价性有穷自动机和正规表达式的等价性,即即：1.对于上的一个NFAM，可以构造一个上的正规式R,使得L(R)=L(M)。2.对于上的一个正规式R，可以构造一个上的NFAM，使的L(M)=L(R)。从上的一个正规式R构造上的一个NFAM，使得L(M)=L(R)的方法。“语法制导”的方法，即按正规式的语法结构指引构造过程，构造规则具体描述如下：.“对于上的一个正规式R,可以构造一个上的NFAM，使得L(M)=L(R).”说明一种构造方法：(1)R=,构造任一具有空终态集的NFAM(2）R=，构造的NFAM=
19、(k0,f,k0.k0):f（k0,a)对于所有a都没定义。(3）R=a,构造的NFA M=(k0,k1,f,k0.k1):f(k0,a)=k1(4)R=R1|R2,将步骤（1）（2）（3）分别应用到R1,R2产生M1=(K1,f1,k1,F1),M2=(K2,f2,k2,F2),其中K1,K2不相交.构造的NFA M=(K1K2k,f,k,F):k是新增加的状态符号，f包含f1和f2,且f(k,a)=f1(k1,a)f2(k2,a).若k1F1且k2F2则F=F1F2，否则F=F1F2k(5)R=R1.R2将步骤（1）（2）（3）分别应用到R1,R2产生M1=(K1,f1,k1,F1),M2
20、=(K2,f2,k2,F2),其中K1,K2不相交.构造的NFA M=(K1K2,f,k1,F2):f包含f1和f2,且f(k,a)=f1(k,a),当 kF1时;f(k,a)=f2(k,a),当 kK2时;f(k1,)=k2,(6)R=R1*将步骤（1）（2）（3）分别应用到R1,产生M1=(K1,f1,k1,F1),构造的NFA M=(K1k0,F F0,f,k0,F0)其中 k0,F F0 是新增加的两个状态,f(k,a)=f1(k,a),当 kF1时;f(k0,)=f(F1,)=k1,F F0,对于正规式R=,构造的NFAFS对于正规式R=,构造的NFAF对于正规式R=a,构造的NFA
21、FSa对于正规式r,r=R1|R2构造的NFA对于正规式r,r=R1R2构造的NFA对于正规式r,r=R1*构造的NFA正规表达式正规表达式 1*0(0+1)*举例举例:从从正规表达式正规表达式构造等价的构造等价的 -NFA0+1 1*从从正规表达式正规表达式构造等价的构造等价的 -NFA(0+1)*1*0(0+1)*R=(a|ab)*bb*正规式用于说明(描述)单词的结构十分简洁方便。而把一个正规式编译(或称转换)为一个NFA进而转换为相应的DFA，这个NFA或DFA正是识别该正规式所表示的语言的句子的识别器。基于这种方法来构造词法分析程序词法分析程序的设计技术可应用于其它领域，比如查询语言
22、以及信息检索系统等，这种应用领域的程序设计特点是，通过字符串模式的匹配来引发动作又如LEX，说明词法分析程序的语言，可以看成是一个模式动作语言。词法分析程序的自动构造工具也广泛应用于许多方面，如用以生成一个程序，可识别印刷电路板中的缺陷，又如开关线路设计和文本编辑的自动生成等。习题4.7练习1（1）34(b)5本章小结词法分析程序是编译第一阶段的工作，它读入字符流的源程序，按照词法规则识别单词，交由语法分析程序接下去。本章讲述了词法分析程序设计原则，并介绍了分别作为正规集描述和识别机制的正规式和有穷动机。在此基础上给出了词法分析程序自动构造工具如LEX的原理。此课件下载可自行编辑修改，仅供参考！此课件下载可自行编辑修改，仅供参考！感谢您的支持，我们努力做得更好！谢谢感谢您的支持，我们努力做得更好！谢谢