编译原理词法2(NFA、DFA的确定化和化简).pptVIP

第 3 讲;第二章《词法分析》2.3-2.5节 2.3 正规表达式与有限自动机简介 2.4 正规表达式到优先自动机的构造 2.5 词法分析器的自动生成 重点掌握 有限自动机理论 有限自动机的构造、确定化和化简;第二章 词法分析;2.3.2：有限自动机：可以自动识别单词的机器 有限自动机（Finite Automation）： FA是一个状态转换图，“有限”指的是状态有限。当前状态读入一个字符后，和后继状态的转换有以下三种情形： (1)后继状态为自身 (2)后继状态只有一个 (3)后继状态有多个 如果每次转换的后继状态是唯一的，则称它为确定有限自动机（Deterministic FA） 如果每次转换的后继状态不是唯一的，则称它为非确定有限自动机（Nondeterministic FA）;2.3.2：有限自动机 1、确定有限自动机（DFA）： DFA是一个五元组，Md＝ (S, ∑, f, s0 , Z) ，其中： (1) S是一个有限状态集合，它的每个元素称为一个状态 (2) ∑是一个有穷字母表，它的每个元素称为一个输入字符 f是一个从S×∑至S的单值映射，也叫状态转移函数 s0∈S 是唯一的初态 是一个终态集 ;2.3.2：有限自动机 1、确定有限自动机（例2.4）： 假定DFA Md =({s0, s1, s2}，{a,b