3.1词法分析程序3.2正规表达式与正规集（正规语言）3.3.ppt

本章将讨论词法分析程序的设计原则，单词的描述技术，识别机制及词法分析程序的自动构造原理。 3.1 词法分析程序 3.2 正规表达式与正规集（正规语言） 3.3 有穷自动机 3.4 词法分析程序的自动构造 ? ;本章重点;回顾 什麽是词法分析程序; 词法分析程序和语法分析程序的关系;;;;;正规表达式与正规集（正规语言）;符号串 由字母表中的符号组成的任何有穷序列称为符号串，例如00 11 10 是字母表? =｛0，1｝上的符号串. 字母表A=｛a,b,c｝上的一些符号串有：a,b,c,ab,aaca。 在符号串中，符号的顺序是很重要的，符号串ab就不同于ba,abca和aabc也不同。 可以使用字母表示符号串，如x=STR表示“x是由符号S、T和R，并按此顺序组成的符号串”。 符号串的长度 如果某符号串x中有m个符号，则称其长度为m，表示为｜x｜=m，如001110的长度是6。 空符号串，即不包含任何符号的符号串，用ε表示，其长度为0，即｜ε｜=0。 ;介绍有关符号串的一些运算。 ?;;;;正规式;;;正规式中的符号;例子; ; ;;;;;关于有穷自动机我们将讨论如下题目;确定的有穷自动机DFA;DFA定义;一个DFA 的例子：;; DFA 的状态图表示;;DFA 的矩阵表示; 为了说明DFA如何作为一种识别机制,我们还要理解下面的定义 ;;;;;;review;review;DFA ;DFA ? = {digit,not digit};;FA 等价;不确定的有穷自动机NFA;;;矩阵表示;f为K? ?* 到K的子集（2 K）的一种映射;有如下定理:;类似DFA, 对NFA M=?K，?，f，S，Z?也有如下定义; ∑*上的符号串t被NFA M接受也可以这样理解;;;(0|1)*(000|111)(0|1);;; NFA确定化算法:;;定义对状态集合I的几个有关运算：;状态集合I的有关运算的例子;;; NFA的确定化 ;4; 等价的DFA;确定有穷自动机的化简; DFA的最小化就是寻求最小状态DFA; C和D同是终态,读入a到达C和F, C和F同是终态, C和F读入a都到达C,读入b都到达E. C和D等价;最小状态DFA;“分割法”; DFA的最小化算法;;过程PP : Construction of ∏new; DFA的最小化—例子;3.4词法分析程序的自动构造;;.“对于∑上的一个正规式R,可以构造一个∑上的NFA M， ，使得L(M)=L(R).” 说明一种构造方法：;;再用状态图说明可用方法;对于正规式? ,构造的NFA（三种）;对于正规式R=? ,构造的NFA;对于正规式r, r= R1|R2构造的NFA;对于正规式r, r=R1 R2构造的NFA;对于正规式r, r=R1*构造的NFA;R=(a|ab)* b b*;;;习题;本章小结;识别Pl0单词的FA;NFA的确定化 More example;;;;; DFA的最小化算法—英文描述;;