- 1、本文档共15页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
编译原理 上海交通大学期末考试
上海交通大学期末考试编译原理试题及答案一、对于文法 G[S] : S →1A | 0B | ε A → 0S | 1AA B → 1S | 0BB ⑴ (3 分 ) 请写出三个关于 G[S] 的句子; ⑵ (4 分 ) 符号串11A0S 是否为 G [S] 的句型?试证明你的结论。 ⑶ (3 分 ) 试画出 001B 关于 G [S] 的语法树。二、请构造一个文法,使其产生这样的表达式 E :表达式中只含有双目运算符 + 、 * ,且 + 的优先级高于 * , + 采用右结合, * 采用左结合,运算对象只有标识符 i ,可以用括号改变运算符优先级。要求给出该文法的形式化描述。三、设有语言 L={ α | α∈ {0,1} + ,且α不以 0 开头,但以 00 结尾 } 。 ⑴试写出描述 L 的正规表达式; ⑵构造识别 L 的 DFA (要求给出详细过程,并画出构造过程中的 NDFA 、 DFA 的状态转换图,以及 DFA 的形式化描述 ) 。四、给定文法 G[S] : S → AB A →aB | bS | c B → AS | d ⑴ (6 分 ) 请给出每一个产生式右部的 First 集; ⑵ (3 分 ) 请给出每一个非终结符号的 Follow 集; ⑶ (8 分 ) 请构造该文法的 LL(1) 分析表; ⑷ (8 分 ) 什么是 LL(1) 文法?该文法是 LL(1) 文法吗?为什么?五、给定文法 G[S] : S →SaA|a A →AbS|b ⑴请构造该文法的以 LR(0) 项目集为状态的识别规范句型活前缀的 DFA 。 ⑵请构造该文法的 LR(0) 分析表。 ⑶什么是 LR(0) 文法?该文法是 LR(0) 文法吗?为什么? ⑷什么是 SLR(1) 文法?该文法是 SLR(1) 文法吗?为什么?六、给定下列语句: ifa+bc then x := a*(b-c) + (b*c-d)/e ⑴写出其等价的逆波兰表示; ⑵写出其等价的四元式序列。七、已知下列 C 语言程序: int * f() { int a = 100; return a; } main() { int * i = f(); char a[] = “compiler”; printf(“the result is %d\n”, *i); } 程序运行结果为:the result is 26157, 请解释为什么程序运行的结果不是期望的“ the result is 100 ”?1.1 三个 0 和 1 数量相等的串1.2 S = 1A = 11AA = 11A 0S 1.3 第二题构造文法如下 : G[E]=({+,*,(,),i}, {E,F,T}, P, E) ,其中 P 为:E→E*F|F F→T+F|T T→(E)|i第三题( 1 )正规表达式: 1(0|1) * 00 ( 2 )第一步:将正规表达式转换为 NDFA 第二步:将 NDFA 确定化为 DFA :造表法确定化( 3 分)确定化后 DFA M 的状态转换表 (2 分 ) 状态输入I 0 I 1 ? t 0 1 [S] — [A,D,B] ? q 0 — q 1 [A,D,B] [D,B,C] [D,B] 重新命名q 1 q 2 q 3 [D,B,C] [D,B,C,Z] [D,B] q 2 q 4 q 3 [D,B] [D,B,C] [D,B] ? q 3 q 2 q 3 [D,B,C,Z] [D,B,C,Z] [D,B] ? q 4 q 4 q 3 DFA 的状态转换图( 3 分)第三步:给出 DFA 的形式化描述DFA M = ( { q 0 , q 1 , q 2 , q 3 , q 4 }, {0,1}, t, q 0 , { q 4 } )t 的定义见 M 的状态转换表。第四题( 1 ) First(AB) = {a, b, c} First(aB) = {a} First(bS) = {b} First(c) = {c} First(AS) = {a, b, c} First(d) = {d} ( 2 ) Follow(S) = {#, a, b, c, d} Follow(A) = {a, b, c, d} Follow(B) = {#, a, b, c, d} ( 3 ) LL(1) 分析表( 8 分)V N V T a b c d # S S ? AB S ? AB S ? AB ? ? A A ?aBA ?bSA ? C ? ? B B ? AS B ? AS B ? AS B ? d ? ( 4 )对于文法 G 的每一个非终结符 U 的产生式 U ? α 1
文档评论(0)