词法分析大学课程.pptVIP

第三章 词法分析 对词法分析器的要求 词法分析器的设计 正规式与有限自动机 NFA的确定化 正规文法与有限自动机的等价性 正规式与有限自动机的等价性 四者关系小结 词法分析器的自动产生 Lex参考资料 / 用正规式定义了词法规则。 定义部分： Lex源文件的核心，表示了当程序识别到一个模式时所需要完成的动作。 用C语言书写了一些过程，被识别过程调用。 规则部分： 用户子程序部分： Lex的正规定义式 用正规式定义了词法规则。 D1 R1 D2 R2 … … Dn Rn 其中，Di为正规式简名，Ri为正规式。 Ri中只能出现字母表中字母和前面已定义的简名。 形式： 规定： 从NFA到DFA的必要性 　　使用NFA判定某个输入符号串的时候，可能出现不确定的情况：不知道下面选择那个状态。如果选择不好，该输入符号串可能不能到达终止状态。但是，我们不能说该输入符号串不能被该NFA接受。 　　如果通过尝试的方法，不断试探来确定输入符号串是否可被接受，那么判定的效率将降低。解决的方法是将NFA转换为等价的DFA。 从NFA到DFA 对于给定的NFA M，存在一个等价的DFA M’ ，使得L(M)=L(M’)。 定 理: 构造证明法（形式语言的证明） 证明方法： Y X M ε ε AB k A B A|B A B A* ? ? A k