辽宁大学_编译原理课件part10讲述.ppt

总结 “编译原理”是一门非常好的课程 Alfred V.Aho：编写编译器的原理和技术具有十分普遍的意义，以至于在每个计算机科学家的研究生涯中，本书中的原理和技术都会反复用到 “自顶向下”和“自底向上”的系统设计方法（思想、方法、实现全方位讨论） 一些具体的表示和变换算法 一个相当规模的系统的设计（含总体结构） “编译原理”是一门非常好的课程 掌握“编译原理”中的基本概念、基本理论、基本方法，在系统级上再认识程序和算法，提升计算机问题求解的水平，增强系统能力，体验实现自动计算的乐趣 1 绪论——计算机语言的发展 机器语言(Machine Language)与汇编语言(Assemble Language) 高级语言(High Level Language) 强制式语言(Imperative Language) 函数(应用)式语言(Functional Language) 逻辑式(基于规则)语言(Logical Language) 面向对象语言(Object-Oriented Language) 命令语言(Command) 翻译系统—汇总 ML MLP Assembler Disassembler AL ALP Translator Compiler Data HL HLP Interpreter Result 编译程序总体结构 编译的遍（Pass） 根据系统资源的状况、运行目标的要求……等，可以将一个编译程序设计成多遍扫描，在每一遍扫描中，完成不同的任务 编译的前端与后端 前端 与源语言有关、与目标机无关的部分 词法分析、语法分析、语义分析与中间代码生成、与机器无关的代码优化 后端 与目标机有关的部分 与机器有关的代码优化、目标代码生成 2 文法与语言 字母表∑ ：非空有穷集合 字母表的乘积： ∑1∑2={ab|a∈∑1，b∈∑2} ∑*、∑+ x∈∑*, L ? ∑*, x∈ L ε语句 2 文法与语言 文法：Ｇ = (ＶT，ＶN，Ｐ，Ｓ) α→β ∈P BNF： ∷＝,[ ],{ }lu,{ }m 候选式： α→β1|β2|…|βn 推导（派生） ：αＡβ?αγβ Ａ→γ∈ P α?β； α?nβ；α?*β； α?+β 句型：S ?*α α∈(ＶT∪ＶN)* 句子：S ?* x， x∈ＶT* 2 文法与语言 最左(Left-most)推导——最左分析 左句型 最左推导对应最右归约 最右(Right-most)推导——最右分析 规范推导、规范句型（右句型） 最右推导对应最左归约（规范归约） 2 文法与语言 语言：Ｌ(Ｇ)＝{x｜Ｓ?* x x∈ＶT*} 短语：如果S?*αＡβ?+αγβ 直接短语、句柄 2 文法与语言 2 文法与语言 有的文法的二义性是可以消除的 语言可以用不同文法产生 2 文法与语言 3 词法分析 词法分析器的功能,在编译程序中的“位置” 缓冲区设计（双缓冲） 正规(表达)式 a|(a|b)*cc(a|b)+ ((0|1)(0|1))* (00|01|10|11)* 正规定义式 S→((0|1)(0|1))* 正规式(表达式)与正规文法等价 FA（状态转移图）是一个有力的工具 正规式(表达式)与正规文法等价 引入 S S→l (l|d)* 引入A消除闭包 S→l A A→(l|d)A|ε 执行连接对|的分配律 S→lA A→lA|dA|ε 3 词法分析 词法分析器的实现 按状态转移图设计主程序 设计适当的子程序 4 自顶向下语法分析 语法分析方法分类 回溯（虚假匹配）、左递归、二义性 消除左递归 A→Aα1|Aα2|…|Aαn|β1|β2|…|βm A?β1 B|β2 B |…|βn B B?α1 B|α2 B |…|αn B|ε 提取公共左因子 A→αβ1|αβ2|…|αβn |γ1|γ2|… | γm A→αA’|γ1|γ2|… | γm和 A→β1|β2|…|βn 4 自顶向下语法分析 LL(1)文法 A→α1|α2|…|αn FIRST(αi)∩FIRST(αj)=Φ i≠j 当ε∈FIRST(αj)时，FOLLOW(A)∩FIRST(αi)=Φ 求FIRST(α)的算法 α=X1 X2…Xn 求FOLLOW(B)的算法 # ∈ FOLLOW(S) A→αBβ 当ε∈FIRST(β)时 FOLLOW(B)=FOLLOW(B)∪(FIRST(β)–{ε})∪FOLLOW(A) 4 自顶向下语法分析 LL(1)分析器系统结构 表达式文法的预测分析表 4 自顶向下语法分析 语法图 简化语法图 递归子程序法 为每个语法变量编写一个处理子程序 简化的语法图 简单算术表