第04讲-词法分析-III.pptVIP

中国科大 温故而知新 词法记号的描述与识别 正规式 正规式：按照一组定义规则，由较简单的正规式构成的，每个正规式 r 表示一个语言 L(r).定义规则说明 L(r) 是怎样以各种方式从 r 的子正规式所表示的语言组合而成。 正规式用来表示简单的语言，叫做正规集。 回顾 正规式 词法记号的识别 有 限 自 动 机 有 限 自 动 机 识别器：是一个程序，取串x作为输入，当x是语言的句子时，它回答“是”，否则回答“不是”。 状态转换图（有限自动机）?识别器 确定/不确定有限自动机——时空权衡问题 确定有限自动机：快，空间大 本讲纲要 有限自动机定义 DFA构建方法 子集构造法 DFA 确定的有限自动机（简称DFA) 数学形式定义 DFA是这样一个数学模型，包括 状态集合S 输入字母表? 转换函数 move: S ? ? ? S 唯一的初态s? S 终态集合F ? S 问题 请构造(a|b)*ab的DFA ? NFA 不确定的有限自动机（简称NFA） 数学形式定义 DFA是这样一个数学模型，包括 状态集合S 输入字母表? 转换函数 move: S ? (??{?}) ? P(S) 唯一的初态s? S 终态集合F ? S NFA 例 识别aa*|bb*的NFA NFA (a|b)*ab的NFA (a|b)*ab的DFA DFA与NFA的区别 1.NFA中允许?转换边，而DF