编译原理复习.pptVIP

编译原理复习 课程复习 CH1. 绪论 P2. 解释程序和编译程序的区别：是否生成目标程序 P6. 构造编译程序应掌握：源语言、目标语言、编译方法 P176. 目标代码可以是：汇编指令、可重定位机器指令、绝对机器指令 P193. 编译程序使用的表格中，最重要的是符号表 CH2. 词法分析 P8. 扫描器的任务：从源程序中识别出一个个单词符号 P9. 单词符号分为5类：保留字、标识符、常数、算符、界符 P15.~16. 会由正规式写相应的正规集，会由正规集写正规式 P16. ε的意义及与{ε}的区别 P17. NFA定义的五元组形式及意义，其中状态转换函数的形式 CH2. 词法分析（续） P18. 会求有限自动机（状态转换图）识别的语言（即正规集）的特点 P18.会由状态转换图（有限自动机）写对应的正规式，可以：图→正规集→正规式 P19. 有限自动机能识别正规集，正规表达式和有限自动机等价 P19.?26. 会由正规式构造等价的DFA: 子集法，DFA化简 CH3. 文法和语言 P33.?34. 会由文法推导句子 P34. 句型的定义：S?* α P34. 文法G产生的语言L(G)的定义：文法产生的所有句子的集合 P34.?36. 会由文法写文法描述的语言 P34.?36. 会由语言写文法 P34.?36. 文法G与语言L(G)的关系：不是一一对应 P34. 文法G1和G2等价的充要条件：L(G1)=L(G2) P34. 会判断Chomsky四种文法类型 P36. 会由状态转换图（有限自动机）写对应的正规文法 CH3. 文法和语言（续） P36. 求与文法等价的正规表达式，可以：文法→语言（即正规集）→正规式 P38. 会画语法树，会求句型的短语、直接短语、句柄和最左素短语 P38. 规范推导（即最右推导）的意义 P40. 二义文法的定义，二义文法与上下文无关文法没有必然联系 P40. 文法无二义，则任何句子的语法树必是唯一的；会判断文法是否二义文法 P40. 文法二义性和语言二义性是不同的概念 CH3. 自上而下分析 P43. 自上而下语法分析存在的问题：左递归（无穷重复）、回溯；自上而下分析必须消除左递归，必须消除回溯 P43.?45. 会消除文法左递归(直接、间接) P51.?52. 会计算符号串的FIRST集合和非终结符号的FOLLOW集合 P52. LL(1)文法一定是无二义的，一定不含左递归 P51.?54. 会构造LL(1)分析表，判断LL(1)文法 P52. 会由LL(1)文法的条件判断是否LL(1)文法 CH3. 自下而上分析 P56. 对无二义文法，规范推导与规范归约互逆 P57. 算符优先分析法是自下而上分析法；算符优先文法定义：算符文法、至多一种优先关系；优先关系是有序的 P59. 算符优先分析法的可归约串是最左素短语，由终结符号的优先关系确定 P62. 算符优先分析的语法树和分析树不一定相同 P63. 算符优先文法不一定存在优先函数 CH3. 自下而上分析（续） P68. LR文法定义：LR分析表无多重定义的入口，每个入口均是唯一的 P68. LR文法必定是无二义的，二义文法决不会是LR文法 P69. 会构造LR(0)项目集规范族 P73. 会构造SLR(1)分析表 P73. 述SLR解决项目集冲突的方法，会应用SLR方法解决冲突 CH4. 语义分析和中间代码生成 P91. 语法制导翻译法意义 P93. 属性分类：综合属性和继承属性 P96. 会翻译算术表达式、赋值语句为逆波兰表示 P96. 会由后缀式写中缀式 P98.?99. 四元式间的联系通过临时变量实现，三元式间的联系通过指针实现 P100.?110. 会翻译算术表达式、布尔表达式、赋值语句和控制流语句为四元式 P115. 会计算一维、二维数组元素的地址 P115.?118. 会翻译带数组元素引用的赋值语句为四元式 CH5. 代码优化 P127. 基本块的定义：顺序执行的语句序列、仅一个入口和一个出口 P127. 局部优化指在基本块上的优化，循环优化指对循环中代码进行优化 P128. P134. 会划分基本块，会画程序流图 P128. 基本块的DAG是其结点带有标记或附加信息的无环有向图 P135. 循环的定义：唯一入口、强连通 P136. 必经结点的意义 P138. 由回边组成的循环 P140. 循环优化技术：代码外提、强度削弱、删除归纳变量 CH6. 运行时存储空间组织 P156. 静态存储分配是在编译时为变量分配存区的处理方式 P156. 动态存储分配是在程序运行时为变量分配存区的处理方式 P156. 动态存储分配实现的方式：以过程为单位的栈式、堆式 P162. DISPLAY