《编译原理》复习要点探究.docxVIP

考试安排：7月13日（20周周三），15：00-17:00,20208 填空10X1分、选择10X2分、简答4X5分、大题5X10分 考试大题：循环优化 LL(1).定义之类的 算符优先算法 … 自下而上分析法（20分，选择、填空、大题） 第一章 引论 一．编译程序(compiler): 把某一种高级语言程序等价地转换成另一种低级语言程序(如汇编语言或机器语言程序)的程序 二．编译程序的工作的五个阶段: 词法分析、语法分析、中间代码产生、优化、目标代码产生 词法分析 Pascal语言 任务: 输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个单词符号。 依循的原则：构词规则 描述工具：有限自动机 FOR I := 1 TO 100 DO 保留字 标识符 等符 整常数 保留字 整常数 保留字 语法分析 任务:在词法分析的基础上，根据语言的语法规则把单词符号串分解成各类语法单位。 依循的原则：语法规则 述工具：上下文无关文法 语义分析与中间代码产生 任务:对各类不同语法范畴按语言的语义进行初步翻译。（变量是否定义、类型是否正确等） 依循的原则：语义规则 中间代码:三元式，四元式，逆波兰记号，树形结构等。是一种独立于具体硬件的记号系统。 例：将Z:=X + 0.618 * Y 翻译成四元式为 (1) * 0.618 Y T1 (2) + X T1 T2 (3) := T2 _ Z 4. 优化 任务：对于前阶段产生的中间代码进行加工变换，以期在最后阶段产生更高效的目标代码。 依循的原则：程序的等价变换规则 FOR K:=1 TO 100 DO BEGIN M := I + 10 * K; N := J + 10 * K; END 目标代码产生 任务: 把中间代码变换成特定机器上的目标代码。 依赖于硬件系统结构和机器指令的含义 目标代码三种形式: 绝对指令代码: 可直接运行 可重新定位指令代码: 需要连接装配 汇编指令代码: 需要进行汇编 三. 编译程序结构 编译程序总框 (简答题5分) 第二章 高级语言及其语法描述 2.1.1语法 词法规则：单词符号的形成规则。 单词符号是语言中具有独立意义的最基本结构。一般包括：常数、标识符、基本字、算符、界符等。 描述工具：正规式和有限自动机 语法规则：语法单位的形成规则。 a) 语法单位通常包括：表达式、语句、分程序、过程、函数、程序等; 描述工具：上下文无关文法 2.1.2语义 语义：一组规则，用它可以定义一个程序的意义。 描述方法： 自然语言描述：隐藏错误、二义性和不完整性 形式描述： 无二义性 完整性 多数语言中，算符的优先顺序如下： 乘幂（**或↑） 优先级由高自低 一元负（-） 乘、除 加、减 不同的语言对算符优先级的规定有差异，甚至差异很大！ 关系符（,=,,=,=,） 非（?，not） 与(Λ，，and ) 或(?,|,or,) 隐含( 或imp) 等值（ 或epui，或~ ） 程序语言的语法描述 1. 几个概念: 考虑一个有穷 字母表∑ 字符集 其中每一个元素称为一个字符 ∑上的字(也叫字符串) 是指由∑中的字符所构成的一个有穷序列 不包含任何字符的序列称为空字，记为ε 用∑*表示∑上的所有字的全体,包含空字ε 例如: 设 ∑={a， b}，则 ∑*={ε,a,b,aa,ab,ba,bb,aaa,...} ∑*的子集U和V的连接（积）定义为UV＝{ ?b | ??U b?V } 例如: 设：U＝{ a, aa } ,V＝ { b, bb } 那么：UV= { ab, abb, aab, aabb} V自身的 n次积记为Vn=VV…V 规定V0={?}，令V*=V0∪V1∪V2∪V3∪… 称V*是V的闭包; 记 V＋＝VV* ，称V+是V的正规闭包。 例如: 设：U＝{ a, aa } 那么：U* = { ? , a, aa, aaa, aaaa, …} U＋ = { a, aa, aaa, aaaa, …} 0型(短语文法，图灵机)： 产生式形如： ? ? ? 其中：?? (VT ? VN)*且至少含有一个非终结符；?? (VT ? VN)* 任何0型语言都是递归可枚举