第05讲-词法分析-IV.pptVIP

中国科大 小 结 DFA 确定的有限自动机（简称DFA) 数学形式定义 DFA是这样一个数学模型，包括 状态集合S 输入字母表? 转换函数 move: S ? ? ? S 唯一的初态s? S 终态集合F ? S NFA 不确定的有限自动机（简称NFA） 数学形式定义 DFA是这样一个数学模型，包括 状态集合S 输入字母表? 转换函数 move: S ? (??{?}) ? P(S) 唯一的初态s? S 终态集合F ? S NFA=DFA 理论依据 根据有限自动机理论，设L为一个有不确定的有限自动机接受的集合，则存在一个接受L的确定的有限自动机 怎样进行NFA到DFA的转化 子集构造法 本讲纲要 子集构造法 DFA化简 Lex 习题 NFA=DFA 子集构造法 DFA的一个状态是NFA的一个状态集合 读了输入a1 a2 … an后， NFA能到达的所有状态：s1, s2, …, sk， 则DFA到达状态{s1, s2, …, sk} NFA=DFA 子集构造法 DFA的一个状态是NFA的一个状态集合 读了输入a1 a2 … an后， NFA能到达的所有状态：s1, s2, …, sk， 则DFA到达状态{s1, s2, …, sk} NFA=DFA 子集构造法 DFA的一个状态是NFA的一个状态集合 读了输入a1