编译原理的模拟试题.docVIP

《编译原理》模拟试题 班级 学号 姓名 评分 填空 1．文法G包括四个组成部分：一组终结符号， ，一组产生式，以及 。 2．文法按产生式的形式分为四种类型，它们是：0型文法，又称短语文法；1型文法，又称上下文有关文法；2型文法，又称 文法； 3型文法，又称 文法。 3． 推导称为规范推导，由 产生的句型称为规范句型。 4．设G是一个文法，S是它的开始符号，如果 S α，则称α是一个句型。 的句型是一个句子。 5 对于一个文法G而言，如果L(G)中 对应 ，那么该文法就称为是二义的。 6．通常程序设计语言的单词符号分为五种：基本字、 、常数、 、界限符。 7．在自底向上分析法中，LR分析法把“可归约串”定义为 。 8．编译中常用的中间代码形式有逆波兰式、 、 和四元式等。 9．对中间代码优化按涉及的范围分为局部优化， 和 。 10．局部优化主要包括合并已知量、 和 等内容。 11．为了构造不带回溯的递归下降分析程序，我们通常要消除 和提取 二、编译过程通常分为哪几个主要阶段？每个阶段的主要功能？ 三、设有文法G1 G1：S→SaQ ∣ Q 1．证明句型 QbRae 是规范句型 Q→QbR ∣ R R→cSd ∣ e 2．给出句型 QbRae 的句柄： 句柄： 四、考虑以下文法: D →　T V T →　int | float V → id ,V | id 在该文法中提取左公因子。 为所得的文法的非终结符构造First集合和Follow集合。 说明所得的文法是LL(1)文法。 为所得的文法构造LL(1)分析表 假设有输入串 int x,y,z 写出相应的LL(1)分析程序的动作。 　 五、考虑以下的文法： E → ( L ) | a L → L , E | E a. 为这个文法构造LR(0)项目的DFA。 b. 判断这个文法是否是LR(0)文法？若不是，请描述出LR(0)冲突，如果是，则构造LR(0)分析表。 c. 判断这个文法是否为SLR(1)文法？若是，构造SLR(1)分析表。 d. 显示分析栈和输入串((a),a,(a,a))的SLR(1)分析程序的工作。 六、把下面的语句翻译成四元式序列。 （只给出最后结果，设LABEL当前值为100） while AC do if A0 then A:=A+1 else A:=A+2 七、设有基本块 　　　　T1：＝2 　　　　T2：＝10/T 　　　　T3：＝S－R 　　　　T4：＝S＋R 　　　　A：＝T2 * T4 　　　　B：A 　　　　T5：＝S＋R 　　　　T6：＝T3 * T5 　　　　B：＝T6 　　　　(1) 画出DAG图； 　　　　(2) 假设基本块出口时只有A，B还被引用，请写出优化后的四元序列。、考虑下面程序 　　　　Var a：integer； 　　　　Procedure S(X)； 　　　　　Var X：integer； 　　　　　Begin 　　　　　　a：＝a＋1； 　　　　　　X：＝a＋X 　　　　　End； 　　　　Begin 　　　　　　a：＝5； 　　　　　　S(a)； 　　　　　　Print(a) 　　　　End． 　试问：若参数传递方式分