编译原复习.doc

1.合并LR（1）同心集后有可能产生归约归约冲突 对 2.一个基本块不能确定一个赋值是否真的有用 对 3每一个文法都能改写成LL（1）文法 错 4.编译程序与具体的机器有关，也与具体的语言有关 对 5.一个语言的文法是唯一的 错 6.过程与过程调用中，信息交换的方法是全局变量的使用和参数传递 对 7.在编译程序中，安排中间代码生成的目的是便于代码优化和便于目标程序的移植 对 8.编译中的语义处理是指两个功能即审查每一个语法结构的静态语义和执行真正的翻译 对 9.程序基本块是指一组顺序执行的程序段，仅有一个入口和一个出口 错 10.存在这样的一些语言他们能够被确定的有限自动机识别，但是不能用正规式表示。 错 二、填空题： 要在某一台机器上为某一种语言构造一个编译程序，必须掌握 机器指令 、 语言文法 、 （操作系统） 三方面内容。 设G是一个给定的文法，S是文法开始符号，如果S—X，那么X是文法G的 句子 。(X是终结符串） 在一个典型的编译过程中，不仅包括词法分析、语法分析、中间代码生成、代码优化、目标代码生成等5个部分，还包括 出错处理程序 和表格处理程序 ，其中，词法分析器用于识别 单词符号 ，语法分析器用来发现源程序中的 语法结构 。 编译方式与解释方式的根本区别是 是否需要整体考虑 ，递归下降子程序分析法是 自上向下的 分析法。 语法分析的任务是识别给定的终结符串是否为给定文法的 句子 。 语法分析最常用的两类方法是 自上而下 和 自下而上 分析方法， 在有限自动机中，两个状态等价 一致性条件 蔓延性条件 。 LR分析法中，每个项目的含义与原点的位置有关，概括的说，原点的左部表示 已识别的句柄部分 ，原点的右部表示 期待的后缀部分 。 在构造LR项目集规范族时，新项目集是 组成的，合并LR（1）项目集规范族的同心集所产生的冲突一定是 归约 冲突。 语法制导翻译比较接近于形式化，它用 属性文法 工具来表达程序设计语言的语义，每个产生式对应的都给它配上 语义动作 来进行翻译用。 已知文法G[S]： S→MH|a H→LSo|ε K→dML|ε L→eHf M→K|bLM 判断G 是否是LL(1)文法，如果是，构造LL(1)分析表。 答案： 文法展开为： 0） S→M H 1） S→a 2） H→L S o 3） H→ε 4） K→d M L 5） K→ε 6） L→e H f 7） M→K 8） M→b L M 非终结符 FIRST 集 FOLLOW 集 S {a,d,b,ε,e} {#,o}........ M {d,ε,b}.... {e,#,o}...... H {ε,e}..... {#,f,o}...... L {e}......{a,d,b,e,o,#} K {d,ε}...... {e,#,o}...... 对相同左部的产生式可知： SELECT(S→M H)∩SELECT(S→a) ={ d,b ,e，#,o }∩ { a }=空 SELECT(H→L S o)∩SELECT(H→ε) ={ e }∩ { #,f,o }=空 SELECT(K→d M L)∩SELECT(K→ε) ={ d }∩ { e,#,o }=空 SELECT(M→K)∩SELECT(M→b L M) ={ d，e,#,o }∩ { b }=空 所以文法是LL(1)的。 预测分析表： a o d e f b # S →a →MH →MH →MH →MH →MH M →K →K →K →bLM →K H →ε →LSo →ε →ε L →eHf K →ε →dML →ε →ε 由预测分析表中无多