计科1201编译原理整理.docVIP

计科1201编译原理 知识点： 编译过程：词法分析、语法分析、语义分析及中间代码生成、中间代码优化、目标代码生成。 常见的错误分类：词法错误、语法错误、语义错误。 文法的四要素：Vn（非终结符集）、Vt（终结符集）、P（产生式集）、S（开始符）。 逆波兰式（后缀式）。 5. 最左推导的逆是最右归约，最右推导的逆是最左归约。规范推导是（最右推导），规范归约是（最左规约）。 6. 优化依据的原则：等价变换。 7. 句柄:最左简单短语；最左归约：每次归约的是句柄。 8. 消除文法二义性的方式：（1、改写文法，2、添加限制条件）。 9. Chomsky文法的分类：0型文法（无限制文法）识别机制是图灵机（TM）、 1型文法（上下文有关文法）识别机制是线性界限自动机LBA、 2型文法（上下文无关文法）识别机制是下推自动机PDA,是语法分析的文法基础、 3型文法（正规文法RG）识别机制是有限状态自动机FA是词法分析的文法基础。 10.由不确定的有限自动机NFA变为确定有限自动机DFA采用的是（子集法）。 11.确定有限自动机DFA化简采用的方法是（最小化）。 12.语法分析方法的分类分为自上而下和自下而上。自上而下分析法是边推导边分析，而自下而上分析法是边归约边分析。 13.对于同一个句子至少有2棵不同的语法树，该文法必为二义的。 14.┣ K 表示自动机做了K步动作；┣ * 表示自动机做了0步动作或0步以上动作；┣ + 表示自动机做了1步动作或1步以上动作。 15. 正规文法=右线性文法⊕左线性文法。 16.左线性文法和右线性文法都是 ∩Follow(B) = ?。 32. 同心项目集：仅搜索符不同的项目集。 33. 合并同心项目集时，仅一种情况可能存在冲突：归约-归约冲突（不可消除）。 34. 二义文法肯定不是LR文法。 35. NXQ：是一个全局变量，永远指向下一个四元式。 36.优化分类：局部优化、循环优化、全局优化。 37. 基本块：单入口、单出口的顺序语句序列。 38. 局部优化（块内优化）的方法（以下三种都可以用DAG解决）：合并已知量、删除公共子表达式、变量传递与无用赋值删除。 39. 循环优化的方法：循环不变运算外提、降低运算强度、变换循环控制变量（并删除其自增赋值式）。 40. 任意文法都可以用自上而下或者自下而上的方法进行语义分析，甚至可以相互嵌套；但表达式用自下而上的效率高；if或while等控制语句用自上而下比较好。 41.DAG：标记是唯一的，附标可有多个；常使用DAG(有向无环图)法对基本块进行优化。 大题： 文法的构造与简化 给出句子的最左推到过程和语法树 ε-产生式消除 判断文法的二义性 消除文法的二义性 构造FA，识别句子 确定NFA；构造DFA（会画状态转换图） NFA转化为DFA，并最小化 NFA与Re之间互相转化的规则（注意空串） 右线性文法与FA之间的互相转化 消除文法左递归 follow集合以及first集合的求法 左公因子提取 判断某文法是否为LL（1）文法（判断之前，需消除左递归，提取左公因子） 求取firstvt(R)、lastvt(R)以及所有终结符之间的优先关系 画优先表，求取优先函数 LR(0)项目的产生（文法拓广）、LR(0)分析表的构造 了解项目集的闭包，画出项目集规范族 构造SLR、LR(1)分析表 通过冲突的存在与否，判断是否为LALR文法 算术表达式的四元式 翻译布尔表达式的四元式（两种方法） if语句的四元式及目标代码；while语句的四元式（时序图） 嵌套语句的目标代码翻译 DAG优化法 利用DAG还原为四元式