编译原理大题集.docVIP

1. 简要说明语义分析的基本功能。 答：语义分析的基本功能包括: 确定类型、类型检查、语义处理和某些静态语义检 查。2. 考虑文法 G[S]: S → (T) | a+S | a T → T,S | S 消除文法的左递归及提取公共左因子。 解：消除文法G[S]的左递归： S→(T) | a+S | a T→ST′ T′→,ST′| ε 提取公共左因子： S→(T) | aS′ S′→+S | ε T→ST′ T′→,ST′| ε3. 试为表达式 w+(a+b)*(c+d/(e-10)+8) 写出相应的逆波兰表示。 解： w a b + c d e 10 - / + 8 + * +4. 按照三种基本控制结构文法将下面的语句翻译成四元式序列： while (AC BD) { if (A ≥ 1) C=C+1; else while (A ≤ D) A=A+2; }。 解：该语句的四元式序列如下(其中E1、E2和E3分别对应A＜CB＜D、A≥1和A≤D，并且关系运算符优先级高)： 100 (j,A,C,102) 101 (j,_,_,113) 102 (j,B,D,104) 103 (j,_,_,113) 104 (j=,A,1,106) 105 (j,_,_,108) 106 (+, C, 1, C) 107 (j,_,_,112) 108 (j≤,A,D,110) 109 (j,_,_,112) 110 (+, A, 2, A) 111 (j,_,_,108) 112 (j,_,_,100) 113 5. 已知文法 G[S] 为 S → aSb|Sb|b ，试证明文法 G[S] 为二义文法。证明： 　　　　　由文法G[S]：S→aSb|Sb|b，对句子aabbbb对应的两棵语法树为：　　 因此，文法G[S]为二义文法。 　　五.计算题（10分） 已知文法 A-aAd|aAb| ε 判断该文法是否是 SLR(1) 文法，若是构造相应分析表，并对输入串 ab# 给出分析过程。 解：增加一个非终结符S/后，产生原文法的增广文法有： S-A A-aAd|aAb|ε 下面构造它的LR(0)项目集规范族为： 从上表可看出,状态I0和I2存在移进-归约冲突，该文法不是LR(0)文法。对于I0来说有：FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ，所以在I0状态下面临输入符号为a时移进，为b,d,#时归约，为其他时报错。对于I2来说有也有与I0完全相同的结论。这就是说，以上的移进-归约冲突是可以解决的，因此该文法是SLR(1)文法。 其SLR(1)分析表为： 对输入串ab#给出分析过程为： 三、名词解释题1.局部优化-------局限于基本块范围的优化称。 2二义性文法------如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义性文法。 3DISPLAY表----过程的嵌套层次显示表，记录该过程的各外层过程的最新活动记录的起始地址。 5最左推导------任何一步α=β都是对α中的最右非终结符替换。 6语法------一组规则，用它可形成和产生一组合式的程序。 7文法------描述语言的语法结构的形式规则。 8基本块------指程序中一顺序执行的语句序列，其中只有一个入口和一个出口，入口就是其中的第一个语句，出口就是其中的最后一个语句。 9语法制导翻译------在语法分析过程中，根据每个产生式所对应的语义子程序进行翻译的办法叫做语法制导翻译。 10短语------令G是一个文法，S划文法的开始符号，假定αβδ是文法G的一个句型，如果有SαAδ且Aβ，则称β是句型αβδ相对非终结符A的短语。 11.待用信息如果在一个基本块中，四元式i对A定值，四元式j要引用A值，而从i到j之间没有A的其它定值，则称j是四元式i的变量A的待用信息。 12.规范句型由规范推导所得到的句型。 13.扫描器执行词法分析的程序。 14.超前搜索在词法分析过程中，有时为了确定词性，需超前扫描若干个字符。 15.句柄一个句型的最左直接短语。 叫做语法制导翻译。 17.规范句型------由规范推导所得到的句型。 18.素短语------素短语是指这样一个短语，至少含有一个终结符，并且，除它自身外不再含任何更小的素短语。 19.语法------是组规则，用它可形成和产生一个合式的程序。 20.待用信息------如果在一个基本块中，四元式i对A定值，四元式j要引用A值，而从i到j之间没有A的其它定值，则称j是四元式i的变量A的待用信息。 21.语义定义程序的意义的一组规则。 四、简答题： 1.写一个文法G, 使其语言为 不以0开头的偶数集。2.已知文法G(