编译原理的重点 3.ppt

第三章 有穷自动机;有穷自动机;3.1 概述 有穷自动机（FA）;例 过河问题 题目;例 过河问题 分析;例 过河问题 分析（续）;例 过河问题 状态转换图;有穷自动机（FA）;d;=;3.2 有穷自动机的形式定义;确定的有穷自动机DFA的定义（续）;确定的有穷自动机DFA的表示 ; 例１;确定的有穷自动机DFA的表示（续）;例２（题同１）;3.2.3 有关自动机术语;例３; 3.2.4 有关确定有穷自动机的结论;有限自动机识别的语言 例子; 定义3.4 一个不确定的有穷自动机NFA N也是一个五元组： M = ( K, Σ, f, S, Z ) (1)K是一个有穷集合，它的每一个元素称为一个状态； (2)Σ是一个有穷字母表，它的每一个元素称为一个输入字符； 　Σ也称为输入符号字母表 (3) f是一个K×Σ*到K的子集的映射： f : K×Σ*→2k (4)S是K的子集，是非空的初态集； (5)Z是K的子集，是一个终态集，也称可接收状态或结束状态。;NFA的表示;例４;例５;有关非确定有穷自动机的术语;补充：递归思想构造文法;递归思想构造文法 （续）;补充：如何设计有限自动机;设计有限自动机（续1）;设计有限自动机（续2）;设计有限自动机（续3）;设计有限自动机（续4）;设计有限自动机（续5）;设计有限自动机（续6）;设计有限自动机（续7）;设计有限自动机（续8）;NFA和DFA的关系;3.3 NFA→ DFA的转换（NFA的确定化）; 3.3.1 NFA中空移环路的寻找和消除; 3.3.2 NFA的消除空移;3.3.4 NFA的确定化——子集法;确定化的有关运算;题：有一个状态图如下：;NFA的确定化;子集化的具体过程;子集化的具体过程（续）;例; 接上页;例;接上页;3.3.6 消除不可达状态;3.3.7 DFA的化简;有关分割法所用的概念;有关分割法所用的概念;分割法;分割法（续）;对划分的说明;　　若I中含有原来的初态，则S1是新初态；若含有原来的终态，则S1是新终态。 经过消除多余状态和合并等价状态而得到的DFA M’，便是最简化的（包含最少状态的）DFA。;a;例：DFA化简;例：化简后的DFA;例;例; 例(续);例; 3.4 正规文法和有穷自动机间的转换;正规文法G→NFA M 例1 课本P73;正规文法G→NFA M 例2;3.4.1 左线性文法-NFA M;3.4.1 左线性文法-NFA M;3.4.2 NFA M →正规文法G;例;; 正规文法的例子;3.5.1 单词的描述工具——正规式的定义;正规式运算符优先关系;例１：正规式;例2 ;定义 3.11 正规式等价;正规式的代数规律;3.5.3 正规式和有穷自动机的等价性;3.5.5 NFA M→正规式R;NFA M→正规式R（续）;例１;y;例３;3.5.4 正规式→NFA;正规式 转换系统;正规式→NFA（续）例1;正规式→NFA（续）例2;语法制导法;(c)对于正规式a(a∈Σ) ，所构造的NFA为：;语法制导法（续）;语法制导法（续）;综合题; 4.4 正规式和有穷自动机的等价性; 4.4 正规式和有穷自动机的等价性;§3.5.6 正规文法和正规式间的转换;§3.5.6 正规式-正规文法;§3.5.6 正规式-正规文法;§3.5.6 正规文法-正规式;§3.5.6 正规文法-正规式 例子;§3.5.6 正规文法-正规式;补充：右线性语言的封闭性;补充：右线性语言的封闭性(续1);补充：右线性语言的封闭性(续1);设计有限自动机（续7）;设计有限自动机（续8）; ;第四章 词法分析;4.1 词法分析程序的设计;词法分析程序的输出形式; 单词的种别表示单词的种类，它是语法分析需要的信息。通常的方法是让每种单词对应一个整数码，其目的是最大限度地把各个单词区别开来。 基本字可将其全体视为一种，也可以一字一种。采用一字一种的分法处理起来较方便。 标识符一般统归为一种； 常数可统归为一种，也可按类型（整型、实型、布尔型等）分种； 运算符和界符可采用一符一种的分法，也可统归为一种。;词法分析;词法分析;词法分析程序和语法分析程序的接口方式;作业