计算机科学与技术-编译原理第三章重点.pptVIP

第三章 有穷自动机;有穷自动机;3.1 概述 有穷自动机（FA）;有穷自动机（FA）;d;=;3.2 有穷自动机的形式定义;确定的有穷自动机DFA的定义（续）;确定的有穷自动机DFA的表示 ; 例１;确定的有穷自动机DFA的表示（续）;例２（题同１）;3.2.3 有关自动机术语;例３; 3.2.4 有关确定有穷自动机的结论;有限自动机识别的语言 例子; 定义3.4 一个不确定的有穷自动机NFA N也是一个五元组： M = ( Q, Σ, t, q0, F ) (1)Q是一个有穷集合，它的每一个元素称为一个状态； (2)Σ是一个有穷字母表，它的每一个元素称为一个输入字符； 　Σ也称为输入符号字母表 (3) t是一个Q×Σ*到Q的子集的映射： t : Q×Σ*→2Q (4)q0是Q的子集，是非空的初态集； (5)F是Q的子集，是一个终态集，也称可接收状态或结束状态。;NFA的表示;例４;例５;有关非确定有穷自动机的术语;NFA和DFA的关系;;3.3 NFA→ DFA的转换（NFA的确定化）; 3.3.1 NFA中空移环路的寻找和消除; 3.3.2 NFA的消除空移;3.3.3 利用状态转换表消除空移;;;3.3.4 NFA的确定化——子集法;将NDFA M=(Q, Σ,t,Q0,F) 转换为DFA M’=(Q’, Σ’,t’,q0,F’)的步骤： ;利用状态表将NDFA转换为DFA。以表3.3为例;3.3.5 确定化-造表法;题：有一个状态图如下：;NFA的确定化;具体过程;具体过程（续）;例; 接上页;例;接上页;例子3.7：求与右图等价的DFA= (Q’,Σ,t’,q0’,F’) ;3.3.6 消除不可达状态;3.3.7 DFA的化简;有关分割法所用的概念;有关分割法所用的概念;分割法;分割法（续）;对划分的说明;　　若I中含有原来的初态，则S1是新初态；若含有原来的终态，则S1是新终态。 经过消除多余状态和合并等价状态而得到的DFA M’，便是最简化的（包含最少状态的）DFA。;a;例：DFA化简;例：化简后的DFA;例;例; 例(续);例; 3.4 正规文法和有穷自动机间的转换;正规文法G→NFA M 例3.10 课本P69;正规文法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.10 正规式等价;正规式的代数规律;3.5.3 正规式和有穷自动机的等价性;3.5.4 正规式→NFA;正规式 转换系统;正规式→NFA（续）例1;正规式→NFA（续）例;3.5.5 NFA M→正规式e;NFA M→正规式R（续）;例１;;例３;综合题; 正规式和有穷自动机的等价性; 正规式和有穷自动机的等价性;§3.5.6 正规文法和正规式间的转换;§3.5.6 正规式-正规文法;§3.5.6 正规式-正规文法;§3.5.6 正规文法-正规式;§3.5.6 正规文法-正规式 例子;§3.5.6 正规文法-正规式; 3.6 DFA在计算机中的表示;3.6.2 表结构;3.6.3 自动机的编程实现 p82;第三章作业 p83-p84;用扩展的BNF表示法消除左递归;;;;*;第四章 词法分析;4.1 词法分析程序的设计;词法分析程序的输出形式; 单词的种别表示单词的种类，它是语法分析需要的信息。通常的方法是让每种单词对应一个整数码，其目的是最大限度地把各个单词区别开来。 基本字可将其全体视为一种，也可以一字一种。采用一字一种的分法处理起来较方便。 标识符一般统归为一种； 常数可统归为一种，也可按类型（整型、实型、布尔型等）分种； 运算符和界符可采用一符一种的分法，也可统归为一种。;词法分析;词法分析;词法分析程序和语法分析程序的接口方式;作业