编译原理第3讲.pptVIP

中国科大 温故知新 词法记号的识别 词法记号的识别 等同于对字符串的匹配过程 这个匹配过程可以基于有限状态机来完成 简单的正则式d-a 正则式d-ab 正则式d-a|b 正规式d-a* 自动机的定义 正规式d-a? 字符a出现一次或者0次 练习 正规式d-a(a|b)* 请画出它的状态转换图 2.2 词法记号的描述与识别 2.2.4 转换图 ? 关系算符的转换图 2.2 词法记号的描述与识别 标识符和保留字的转换图 2.2 词法记号的描述与识别 无符号数的转换图 2.2 词法记号的描述与识别 空白的转换图 2.3 有 限 自 动 机 2.3 有 限 自 动 机 识别器：是一个程序，取串x作为输入，当x是语言的句子时，它回答“是”，否则回答“不是”。 状态转换图（有限自动机）?识别器 确定/不确定有限自动机——时空权衡问题 确定有限自动机：快，空间大 2.3 有 限 自 动 机 2.3.1 不确定的有限自动机（简称NFA） 一个数学模型，它包括: 状态集合S； 输入符号集合?； 转换函数move : S ? (??{?}) ? P(S)； 状态s0是开始状态； F ? S是接受状态集合。 2.3 有 限 自 动 机 2.3 有 限 自 动 机 例 识别aa*|bb*的NFA 2.3 有 限 自 动 机 2.3.2 确定的有限自动机（简称