第3讲-词法分析-II.pptVIP

中国科大 编译原理和技术 本讲纲要 词法概念的复习 词法记号的识别 有限自动机定义 DFA构建方法 词法单元 词法记号 正规式 正规式，又称正则表达式，Regular Expression Pascal里面的标识符模式 正规式表示 letter ? A | B | … | Z | a | b | … | z digit ? 0 | 1 | … | 9 id ? letter(letter|digit)* C语言的标识符模式 模式的非形式描述 首字符必须是_或者字母，由_、字母或数字组成的字符串 请仿照Pascal标识符的例子，写出C语言的标识符的正规式表示 本讲纲要 词法概念的复习 词法记号的识别 有限自动机定义 DFA构建方法 词法记号的识别 词法记号的识别 等同于对字符串的匹配过程 这个匹配过程可以基于有限状态机来完成 简单的正则式d-a 正则式d-ab 正则式d-a|b 正规式d-a* 自动机的定义 正规式d-a? 字符a出现一次或者0次 练习 正规式d-a(a|b)* 请画出它的状态转换图 本讲纲要 词法概念的复习 词法记号的识别 有限自动机定义 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中允许?转换边，而DFA中不允许 2.NFA中move(s,a)可能是一个多元集合，而DFA中move(s,a)最多有一个元素 本讲纲要 词法概念的复习 词法记号的识别 有限自动机定义 DFA构建方法 DFA or NFA 在机器上实现字符串识别过程 基于DFA? 还是基于NFA? DFA构建方法1 直接从自然语言描述，进行DFA的构建 适合场景： 从自然语言描述不能够得到一个简单的正规式 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 号外：从语言到确定的有 限 自 动 机 例：识别? ={0,1}上能被能5整除的二进制数 本讲小结 DFA, NFA的概念 DFA的构建方法1 自然语言描述 = DFA 0 1 2 3 开始 4 1 0 0 1 0 0 1 2 3 开始 4 1 0 0 1 0 1 0 1 2 3 开始 4 1 0 0 1 0 1 0 0 1 2 3 开始 4 1 0 0 1 0 1 0 1 0 1 2 3 开始 4 1 0 0 1 0 1 0 1 0 0 1 2 3 开始 4 1 0 0 1 0 1 0 1 0 1 0 1 2 3 开始 4 1 0 0 1 0 1 0 1 0 1 * * * */39 词法单元 词法记号 模式 用模式语言描述 正规式，是描述词法记号的一种最为常见的模式语言 怎么用语言来描述Pascal的标识符模式？ Pascal标识符模式的自然语言描述： 首字符必须是字母，由字母或数字组成的字符串 0 1 a 0 2 a 1 b 0 1 a b 0 a 0 1 a 0 1 a a b 0 1 a 这个，基本上很难！ 怎么办？ 下面，