原创力文档- 1、本文档共117页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
编译原理课后答案机械工业
第二章
练习2.1
解答： (a) 终结符号为：{(,),a,,,} ??? 非终结符号为：{S,L} ??? 开始符号为：S (b)
? ? ① (a,a)
? ? ②(a,(a,a))
? ? ? ③ (a,((a,a),(a,a)))
? ?
? ?
? ? ?
(c) ① (a,a) ??? S (L) (L,S) (S,S) (a,S) (a,a) ??? ② (a,(a,a)) ??? S (L) (L,S) (S,S) (a,S) (a,(L) (a,(L,S)) ??? ? (a,(S,S)) (a,(a,S)) (a,(a,a)) ??? ③ (a,((a,a),(a,a))) ??? S (L) (L,S) (S,S) (a,S) (a,(L)) (a,(L,S)) ??? ? (a,(S,S)) (a,((L),S)) (a,((L,S),S)) (a,((S,S),S)) ??? ? (a,((a,S),S)) (a,((a,a),S)) (a,((a,a),(L))) ??? ? (a,((a,a),(L,S))) (a,((a,a),(S,S))) (a,((a,a),(a,S))) ??? ? (a,((a,a),(a,a))) (d) ① (a,a) ??? S (L) (L,S) (L,a) (S,a) (a,a) ??? ②(a,(a，a)) ??? S (L) (L,S) (L,(L)) (L,(L,S)) (L,(L,a)) ??? ? (L,(S,a)) (L,(a,a)) (S,(a,a)) (a,(a,a)) ??? ③(a，((a，a)，(a，a))) ??? S (L) (L,S) (L,(L)) (L,(L,S)) (L,(L,(L))) ??? ? (L,(L,(L,S))) (L,(L,(L,a))) (L,(L,(S,a))) ??? ? (L,(L,(a,a))) (L,(S,(a,a))) (L,((L),(a,a))) ??? ? (L,((L,S),(a,a))) (L,((L,a),(a,a))) (L,((S,a),(a,a))) ??? ? (L,((a,a),(a,a))) (S,((a,a),(a,a))) (a,((a,a),(a,a))) (e) L(G[S]) = (α1,α2,...,αn)或a ??? 其中αi(1≤i≤n)是L(G[S])。即L(G[S])产生一个以a为原子的纯表，但不包括空表。
练习2.2
解答： (a) 句子abab有如下两个不同的最左推导： ? ? S aSbS abS abaSbS ababS abab ? ? S aSbS abSaSbS abaSbS ababS abab ? ? 所以此文法是二义性的。 (b) 句子abab的两个相应的最右推导： ? ? S aSbS aSbaSbS aSbaSb aSbab abab ? ? S aSbS aSb abSaSb abSab abab (c 句子abab的两棵分析树：
?(一)
? ?(二)
?
? ?
(d) 此文法产生的语言是：所有a的个数与b的个数相等的由a和b组成 ? ? 的字符串。
练习2.3
解答： (a) 终结符号为：{or,and,not,(,),true,false} ???????非终结符号为：{bexpr,bterm,bfactor} ???????开始符号为：bexpr (b) 句子not(true or false)的分析树为：
(c) 用归纳法说明如下： ???? (1) 不含运算的布尔表达式，常数true和false由此文法产生： ???? bexpr = bterm = bfactor = true ???? bexpr = bterm = bfactor = false ???? (2) 设结论对于少于n(n≥1)个运算的布尔表达式成立，即若be1和be2是含有少于n个运算的布尔表达式，则有：bexprbe1,bexprbe2。 ???? (3) 对于含有n个运算的布尔表达式，可表示成下面三种形式： ???? ???? (a) (be1) or (be2) ???? ???? (b) (be1) and (be2) ???? ???? (c) not (be1) ???? ???? 对于(a)：bexpr = bexpr or bterm ???? ???? = bterm or bterm = bfactor or bterm ???? ???? = (bexpr) or bterm (be1) or bterm ???? ???? = (be1) or bfactor = (be1) or (bexpr
文档评论（0）