大工编译原理课程总复习贾棋靠谱 图文.pptx

源程序词法分析器语法分析器语义分析器符号表管理器 出错管理器中间代码生成器代码优化器代码生成器目标程序前端：依赖于源语言，独立于目标机器。前端后端后端：依赖于目标机器，独立于源语言。源代码非形式化描述形式化描述词法分析器名字正规式记号（token）流字母表集合顺序组合组合集合字母源程序字符流串词法单元模式语言词法记号第二章 词法分析器词法分析器工作原理：词法记号的描述与识别 正规式的例子 ? = {a, b}a | b {a, b}(a | b) (a | b ) {aa, ab, ba, bb}aa | ab | ba | bb {aa, ab, ba, bb}a*由字母a构成的所有串集(a | b)*由a和b构成的所有串集复杂的例子( 00 | 11 | ( (01 | 10) (00 | 11) ? (01 | 10) ) ) ?句子：01001101000010000010111001正规定义的例子 Pascal语言的标识符集合 letter ? A | B | … | Z | a | b | … | z digit ? 0 | 1 | … | 9 id ? letter(letter|digit)* 简化规则：r+=rr*r?=r| ?[a-z]=a|b|c|…|z[abc]=a|b|c正规定义的例子 Pascal无符号数集合，例1946,11.28,63.6E8,1.99E?6 digit ? 0 | 1 | … | 9 digits ? digit digit* optional_fraction ? .digits|? optional_exponent ? (E ( + | ? | ? ) digits ) | ? num?digits optional_fraction optional_exponent简化表示 num ? digit+ (.digit+)? (E(+|?)? digit+)? 状态转换图非形式化描述形式化描述名字计算机实现?正规式字母表和LUM连接LM闭包L*正闭包 L+集合顺序组合组合集合字母源程序字符流串词法单元模式语言词法记号连接 指数return(relop, LE)=?return(relop, NE)1*return(relop, LT)other开始=0return(relop, EQ)return(relop, GE)=6other*return(relop, GT)738542状态转换图 转换图 ? 关系算符的转换图relop ? | = | = | | | =？计算机实现正规式状态转换图等价有限自动机不确定有限自动机确定有限自动机有 限 自 动 机 a开始ab10b2有 限 自 动 机 不确定的有限自动机（简称NFA） 一个数学模型，它包括: 状态集合S； 输入符号集合?； 转换函数move : S ? (??{?}) ? P(S)； 状态s0是开始状态； F ? S是接受状态集合。缺点：1、输入字符包括 ?2、一个状态对于某个字符，可能有多条输出边识别语言(a|b)*ab 的NFAbbba开始10aa2有 限 自 动 机确定的有限自动机（简称DFA) 一个数学模型，包括：优点：1、输入字符不包括 ?2、一个状态对于某个字符，只可能存在唯一条输出边 状态集合S； 输入字母表?； 转换函数move : S ? ? ? S； 唯一的初态 s? S； 终态集合F ? S；识别语言(a|b)*ab 的DFA?a32???开始?ba01678??b45?9NFA到DFA的转换——子集构造法输入符号ab状态 ?a32???开始?ba01678??b45?9NFA到DFA的转换——子集构造法输入符号abAA = {0, 1, 2, 4, 7}DFA中第一个状态由NFA中的开始状态求?闭包得到状态 ?a32???开始?ba01678??b45?9NFA到DFA的转换——子集构造法输入符号abABA = {0, 1, 2, 4, 7} B = {1, 2, 3, 4, 6, 7, 8} 状态 ?a32???开始?ba01678??b45?9NFA到DFA的转换——子集构造法输入符号abABBA = {0, 1, 2, 4, 7} B = {1, 2, 3, 4, 6, 7, 8} 状态 ?a32???开始?ba01678??b45?9NFA到DFA的转换——子集构造法输入符号abABCBA = {0, 1, 2, 4, 7} B = {1, 2, 3, 4, 6, 7, 8} C = {1, 2, 4, 5, 6, 7} 状态 ?a32???开始?ba01678??b45?9NFA到DFA的转换——子集构造法输入符号abABCBCA = {0, 1