蒋立源_《编译原理》_西北工业大学出版社_第3版课后答案
编译原理第三版课后答案王生原
编译原理第三版课后答案王生原编译原理第三版课后答案王生原【篇一：编译原理课后答案(第三版蒋立源康慕宁编)】class=txt>第一章习题解答1解：源程序是指以某种程序设计语言所编写的程序。
目标程序是指编译程序（或解释程序）将源程序处理加工而得的另一种语言（目标语言）的程序。
翻译程序是将某种语言翻译成另一种语言的程序的统称。
编译程序与解释程序均为翻译程序，但二者工作方法不同。
解释程序的特点是并不先将高级语言程序全部翻译成机器代码，而是每读入一条高级语言程序语句，就用解释程序将其翻译成一段机器指令并执行之，然后再读入下一条语句继续进行解释、执行，如此反复。
即边解释边执行，翻译所得的指令序列并不保存。
编译程序的特点是先将高级语言程序翻译成机器语言程序，将其保存到指定的空间中，在用户需要时再执行之。
即先翻译、后执行。
2解：一般说来，编译程序主要由词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、信息表管理程序、错误检查处理程序组成。
3解：c语言的关键字有：auto break case char constcontinue default do double else enum extern float for goto if int long register return shortsigned sizeof static struct switch typedef union unsigned void volatile while。
上述关键字在c语言中均为保留字。
4解：c语言中括号有三种：{}，[]，（）。
其中，{}用于语句括号；[]用于数组；（）用于函数（定义与调用）及表达式运算（改变运算顺序）。
c语言中无end关键字。
逗号在c语言中被视为分隔符和运算符，作为优先级最低的运算符，运算结果为逗号表达式最右侧子表达式的值（如：(a,b,c,d)的值为d）。
编译原理(第三版)第7章课后练习及参考答案中石大版
第7章练习P165作业布置：P1651、21．已知文法A→aAd | aAb |ε，判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。
解：拓广文法为G'，增加产生式S'→A若产生式排序为：0 S'→A 1 A→aAd 2 A→aAb 3 A→ε由产生式知：从在I0、I2中：A→•aAd和A→•aAb为移进项目，A→•为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。
在I0、I2中：Follow(A)∩{a}= {d, b, #}∩{a}=φ所以在I0状态下面临输入符号为a时移进，为{d, b, #}时归约，为其他时报错。
因此在I0、I2中的移进-归约冲突可以由Follow集解决，所以G是SLR(1)文法。
下面是文法的2、若有定义二进制数的文法如下：S→L.L|LL→LB|BB→0|1（1）试为该文法构造LR分析表，并说明属哪类LR分析表。
（2）给出输入串101.110的分析过程。
答：（1）拓广文法为G′，增加产生式S′→S，若产生式排序为：0 S' →S 1 S →L.L 2 S →L 3 L →LB4 L →B5 B →06 B →1从S'→状态项目集经过符号到达的状态0 S'→•S S 1 S→•L.L L 2 S→•L L 2 L→•LB L 2 L→•B B 3 B→•0 0 4 B→•1 1 51 S'→S•2 S→L•.L . 6 S→L•L→L•B B 7 B→•0 0 4 B→•1 1 53 L→B•4 B→0•5 B→1•6 S→L.•L L 8 L→•LB L 8 L→•B B 3 B→•0 0 4 B→•1 1 57 L→LB•8 S→L.L•L→L•B B 7 B→•0 0 4 B→•1 1 5在I2中：B→•0和B→•1为移进项目，S→L•为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。
编译原理(第三版)答案
给状态编号：
a {0,1} {0,1} {0}
Φ
5
b {1} {1} Φ Φ
a
B
0
1
2
3
3
3
3
4
a
a
0
1
a
b
b
b
b
2
3
a
最小化： {0，1} {2，3} {0，1}a={1}，{0，1}b={2} {2，3}a={0，3}，{2，3}={3} {0，1}，{2}，{3}
a
a
b b
0
1
2
E'→+E|ε： First(E') = {+,ε}∩Follow(E')={#,)} = Φ
T'→T|ε： First(T') = {(,a,b, ⋀, ε} ∩Follow(T')={+,),#} = Φ
F'→*F'|ε：First(F') = {*,ε}∩Follow(F')={ (,a,b,⋀,),# } = Φ
then advance else if sym=‘（’
then begin advance；T； if sym = ‘)’ then advance; else error;
end else error end
第四章
procedure T; begin
S;T' End
Procedure T';
Begin
P-36-8 G（E）：E→T|E+T|E-T
T→F|T*F|T/F F→（E）|i 最左推导：
E⇒E+T⇒T+T⇒F+T⇒i+T⇒i+T*F⇒i+F*F⇒i+i*F⇒i+i*i
编译原理_第三版_课后答案
编译原理_第三版_课后答案编译原理课后题答案第二章P36-6(1)是0~9组成的数字串⑵最左推导：N= ND= NDD= NDDD = DDDD = ODDD = O1DD= 012D= 0127N= ND 二DD 二3D二34N= ND 二NDD = DDD = 5DD = 56D二568最右推导：N 二ND 二N7二ND7二N27二ND27二N127二D127二0127 N = ND = N4= D4= 34N= ND 二N8= ND8二N68二D68二568P36-7G(S)编译原理第三版课后答案O > 1|3|5|7|9N > 2|4|6|8|0D 、0|NS > 0|A0A > AD|NP36-8文法:E T T E +T|E —TT t F T* F|T/ FF > (E)|i最左推导：E = E T= T T=F T = i T = i T * F = i F * F = i i * F = i i*iE = T= T*F 二 F * F = i* F 二i *( E)二i*( E T)二i *( T T)二i *( F T) =i *( i T)二i*(i F)= i*( i i)最右推导:E= E T= E T*F= E T*i= E F*i= E i*i= T i*i= F i*i= i i*iE= T= F*T= F * F= F*( E)= F *( E T)= F *( E F)= F *( E i)=F*( T i)= F*( F i)= F*( i i)= i*(i i)/********************************P36-11*****************P36-9句子iiiei 有两个语法树:S 二 iSeS 二 iSei 二 iiSei = iiiei S= iS = iiSeS = iiSei = iiieiP36-10/**************S > TS |T T > (S)|()***************ii+i+ii-i-iii+i*i***************P36-11L1:S > ACA r aAb | abC r cC | ；L2:S > ABA》aA| ；B r bBc|bcL3:S > ABA—：aAb | ；B = aBb | ；L4:S > A| BA—；0A1| ；B-1B0| A***************/第三章习题参考答案P64 - 7(1)编译原理第三版课后答案1(01)*101(1)1101确定化:1001111最小化:{0,1,2,3,4,5},{6}{0,123,4,5}。
编译原理课后答案
第二章 高级语言及其语法描述4．令+、*和↑代表加，乘和乘幂，按如下的非标准优先级和结合性质的约定，计算1+1*2↑2*1↑2的值：（1） 优先顺序（从高至低）为+，*和↑，同级优先采用左结合。
（2） 优先顺序为↑，+，*，同级优先采用右结合。
解：（1）1+1*2↑2*1↑2=2*2↑1*1↑2=4↑1↑2=4↑2=16 （2）1+1*2↑2*1↑2=1+1*2*1=2*2*1=2*2=46．令文法G6为 N →D|NDD →0|1|2|3|4|5|6|7|8|9 （1） G6 的语言L （G6）是什么？（2） 给出句子0127、34和568的最左推导和最右推导。
解：（1）L （G6）=｛a|a ∈∑+,∑=﹛0,1,2,3,4,5,6,7,8,9｝｝（2）N ＝＞ND ＝＞ NDD ＝＞ NDDD ＝＞ DDDD ＝＞ 0DDD ＝＞ 01DD ＝＞ 012D ＝＞ 0127 N ＝＞ ND ＝＞ N7＝＞ ND7＝＞ N27＝＞ ND27＝＞ N127＝＞ D127＝＞ 0127 N ＝＞ ND ＝＞ DD ＝＞ 3D ＝＞ 34 N ＝＞ ND ＝＞ N4＝＞ D4 ＝＞34N ＝＞ ND ＝＞ NDD ＝＞ DDD ＝＞ 5DD ＝＞ 56D ＝＞ 568 N ＝＞ ND ＝＞ N8＝＞ ND8＝＞ N68＝＞ D68＝＞ 5687．写一个文法，使其语言是奇数集，且每个奇数不以0开头。
解：A →SN, S →+|-|∑, N →D|MDD →1|3|5|7|9, M →MB|1|2|3|4|5|6|7|8|9 B →0|1|2|3|4|5|6|7|8|9 8. 文法：E T E T E T TF T F T F F E i→+-→→|||*|/()| 最左推导:E E T T TF T i T i T F i F F i i F i i i E T T F F F i F i E i E T i T T i F T i i T i i F i i i ⇒+⇒+⇒+⇒+⇒+⇒+⇒+⇒+⇒⇒⇒⇒⇒⇒+⇒+⇒+⇒+⇒+⇒+********()*()*()*()*()*()*()最右推导:E E T E TF E T i E F i E i i T i i F i i i i i E T F T F F F E F E T F E F F E i F T i F F i F i i i i i ⇒+⇒+⇒+⇒+⇒+⇒+⇒+⇒+⇒⇒⇒⇒⇒+⇒+⇒+⇒+⇒+⇒+⇒+**********()*()*()*()*()*()*()*()语法树：/********************************EE FTE +T F F T +iiiEEFTE-T F F T -iiiE EFT+T F FTiii*i+i+ii-i-ii+i*i*****************/9．证明下面的文法是二义的：S → iSeS|iS|I解：因为iiiiei 有两种最左推导，所以此文法是二义的。
编译原理课后习题答案ch9
盛威网（）专业的计算机学习网站
2
《编译原理》课后习题答案第九章
附加题
问题 1： 利用 Pascal 的作用域规则，试确定在下面的 Pascal 程序中的名字 a 和 b 的每一次出现 所应用的说明。 program m ( input, output ) ; procedure n ( u, v, x, y : integer ) ; var m : record m, n : interger end ; n : record n, m : interger end ; begin with m do begin m := u ; n:= v end ; with n do begin m := x ; n := y end ; writeln ( m.m, m.n, n.m, n.n ) end ; begin m ( 1, 2, 3, 4 ) end. 答案： 图中用蓝色数字下标相应标明。 program m1 ( input, output ) ; procedure n1( u, v, x, y : integer ) ; var m2 : record m3, n2 : interger end ; n3 : record n4, m4 : interger end ; begin with m2 do begin m3 := u ; n2 := v end ; with n3 do begin m4 := x ; n4 := y end ; writeln ( m2.m3, m2.n2, n3.m4, n3.n4 ) end ; begin m1 ( 1, 2, 3, 4 ) end. 问题 2： 当一个过程作为参数被传递时，我们假定有以下三种与此相联系的环境可以考虑，下 面的 Pascal 程序是用来说明这一问题的。 一种是词法环境 （lexical environment） ， 如此这样的一个过程的环境是由这一过程定义 之处的各标识符的联编所构成； 一种是传递环境（passing environment） ，是由这一过程作为参数被传递之处的各标识
[西北工业大学]编译原理(202104)
![[西北工业大学]编译原理(202104)](https://img.taocdn.com/s3/m/085b46e316fc700aba68fc46.png)
4.29．()不是编译程序的组成部分。 A.词法分析程序 B.代码生成程序 C.设备管理程序 D.语法分析程序 答案：C
9.12．一个3型语言是无穷的，则识别它的FA ()。 A.必有无穷个状态 B.必有回路 C.必然是非确定的 D.以上都不对 答案：B
10.词法分析器用于识别()。 A.句子 B.产生式 C.单词 D.句型 答案：C
11.词法分析器不能()。 A.识别出数值常量 B.过滤源程序中的注释 C.扫描源程序并识别记号 D.发现括号不匹配 答案：D
5.()这样一些语言，它们能被确定的有穷自动机识别，但不能用正则表达式表示。 A.存在 B.不存在 C.无法判定是否存在 D.以上答案都不对 答案：B
6.正则表达式 R1和R2 等价是指()。 A.R1和R2 都是定义在一个字母表上的正则表达式 B.R1和R2 使用的运算符相同 C.R1和R2 代表同一正则集 D.R1和R2 代表不同正则集 答案：C
26.两个有穷自动机等价是指它们的()。 A.状态数相等 B.有向弧数相等 C.所识别的语言相等 D.状态数和有向弧数相等 答案：C
27.18．LR(K)分析方法是()。 A.从左到右每次走K步的分析法 B.从左到右共经过K步的分析法 C.从左到右每次向前预测K步的分析法 D.从左到右每次向前看K个输入符号的分析法 答案：D
编译原理（202104）
一、单选题 1.设l，d分别表示英文字母和数字，则定义标识符的右线性文法G[S]是()。 A.S→→dA∣lA∣ε B.S→dS∣lS∣d∣l C.S →Sl∣Sd∣l D.S→dA A→dA∣lA∣ε 答案：A
编译原理课后答案
＜表达式＞AVV ------ *第二早1、 L(G[S])={ abc }2、 L(G[N])={ n 位整数或空字符串| n>0}3、 G[E] : E —>E+D | E-D | DD —>0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 94、 L(G[Z])={ a n b n | n>0 }5、(1)考虑不包括“ 0”的情况G[S]: S — >0S | ABC | 2 | 4| 6 | 8A —>1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9B —>AB | 0B | &C —>0 | 2 | 4 | 6 | 8考虑包括“ 0”的情况： G[S]: S — >AB | CB —>AB | CA —>0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 C —>0 | 2 | 4 | 6 | 8(2)方法1:G[S]: S — > ABC | 2 | 4 | 6 | 8A —>1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9B —>AB | 0B | &C —>0 | 2 | 4 | 6 | 8方法2:G[S]: S — >AB | CB —> AB | 0B |C | 0A —> 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 C —>2 | 4 | 6 | 8&设<表达式 >为E , <项>为T , <因子〉为F ,注：推导过程不能省略，以下均为最 左推导(1) E => T => F => i(4) E => E+T => T+T => T*F+T => F*F+T => i*F+T => i*i+T => i*i+F => i*i+i (6) E => E+T => T+T => F+T => i+T => i+T*F => i+F*F => i+i*F => i+i*I8、 是有二义性的，因为句子abc 有两棵语法树(或称有两个最左推导或有两个最右 推导)ii＜表达式＞最左推导1: S => Ac => abc最左推导2：S => aB => abc9、⑴a a(2) 该文法描述了变量a和运算符+、*组成的逆波兰表达式10、(1)该文法描述了各种成对圆括号的语法结构(2)是有二义性的，因为该文法的句子()()存在两种不同的最左推导：最左推导1：S => S(S)S => (S)S => ()S => ()S(S)S => ()(S)S => ()()S => ()() 最左推导2：S => S(S)S => S(S)S(S)S => (S)S(S)S=> ()S(S)S => ()(S)S => ()()S => ()()11、⑴因为从文法的开始符E出发可推导出E+T*F，推导过程如下：E => E+T =>E+T*F，所以E+T*F 是句型。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《编译原理》课后习题答案第一章1.解：源程序是指以某种程序设计语言所编写的程序。
目标程序是指编译程序（或解释程序）将源程序处理加工而得的另一种语言（目标语言）的程序。
翻译程序是将某种语言翻译成另一种语言的程序的统称。
编译程序与解释程序均为翻译程序，但二者工作方法不同。
解释程序的特点是并不先将高级语言程序全部翻译成机器代码，而是每读入一条高级语言程序语句，就用解释程序将其翻译成一段机器指令并执行之，然后再读入下一条语句继续进行解释、执行，如此反复。
即边解释边执行，翻译所得的指令序列并不保存。
编译程序的特点是先将高级语言程序翻译成机器语言程序，将其保存到指定的空间中，在用户需要时再执行之。
即先翻译、后执行。
2.解：一般说来，编译程序主要由词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、信息表管理程序、错误检查处理程序组成。
3.解：C语言的关键字有：auto break case char const continuedefault do double else enum extern float for goto if int longregister return short signed sizeof static struct switch typedef union unsigned void volatile while。
上述关键字在C语言中均为保留字。
4.解：C语言中括号有三种：{}，[]，（）。
其中，{}用于语句括号；[]用于数组；（）用于函数（定义与调用）及表达式运算（改变运算顺序）。
C语言中无END关键字。
逗号在C语言中被视为分隔符和运算符，作为优先级最低的运算符，运算结果为逗号表达式最右侧子表达式的值（如：(a,b,c,d)的值为d）。
5.略第二章1.（1）答：26*26=676（2）答：26*10=260（3）答：{a,b,c,...,z,a0,a1,...,a9,aa,...,az,...,zz,a00,a01,...,zzz},共26+26*36+26*36*36=34658个2.构造产生下列语言的文法（1）{anbn|n≥0}解：对应文法为G(S) = ({S},{a,b},{ S→ε| aSb },S)（2）{anbmcp|n,m,p≥0}解：对应文法为G(S) = ({S,X,Y},{a,b,c},{S→aS|X,X→bX|Y,Y→cY|ε},S)（3）{an # bn|n≥0}∪{cn # dn|n≥0}解：对应文法为G(S) = ({S,X,Y},{a,b,c,d,#}, {S→X, S→Y,X→aXb|#,Y →cYd|# },S)（4）{w#wr# | w?{0,1}*,wr是w的逆序排列}解：G(S) = ({S,W,R},{0,1,#}, {S→W#, W→0W0|1W1|# },S)（5）任何不是以0打头的所有奇整数所组成的集合解：G(S) = ({S,A,B,I,J},{-,0,1,2,3,4,5,6,7,8,9},{S→J|IBJ,B→0B|IB|e, I→J|2|4|6|8, Jà1|3|5|7|9},S)（6）所有偶数个0和偶数个1所组成的符号串集合解：对应文法为 S→0A|1B|e，A→0S|1C B→0C|1S C→1A|0B3.描述语言特点（1）S→10S0S→aAA→bAA→a解：本文法构成的语言集为：L(G)={(10)nabma0n|n, m≥0}。
（2）S→SS S→1A0A→1A0A→ε解：L(G)={1n10n11n20n2 … 1nm0nm |n1,n2,…,nm≥0；且n1,n2,…nm不全为零}该语言特点是：产生的句子中，0、1个数相同，并且若干相接的1后必然紧接数量相同连续的0。
（3）S→1AS→B0A→1AA→CB→B0B→CC→1C0C→ε解：本文法构成的语言集为：L(G)={1p1n0n|p≥1,n≥0}∪{1n0n0q|q≥1,n ≥0}，特点是具有1p1n0n 或1n0n0q形式，进一步，可知其具有形式1n0mn,m ≥0,且n+m>0。
（4）S→bAdcA→AGSG→εA→a解：可知，S=>…=>baSndc n≥0该语言特点是：产生的句子中，是以ba开头dc结尾的串,且ba、dc个数相同。
（5）S→aSSS→a解：L(G)={a(2n-1)|n≥1}可知：奇数个a4.解：此文法产生的语言是：以终结符a1 、a2 …an 为运算对象，以∧、∨、~为运算符，以[、]为分隔符的布尔表达式串5. 5.1解：由于此文法包含以下规则：AA→e，所以此文法是0型文法。
5.2证明：略6.解：（1）最左推导：<程序>T<分程序>T<标号>：<分程序>TL：<分程序>TL：<标号>：<分程序>T L：L：<分程序>T L：L：<无标号分程序>T L：L：<分程序首部>；<复合尾部>T L：L：<分程序首部>；<说明>；<复合尾部>T L：L：begin<说明>；<说明>；<复合尾部>T L：L：begin d；<说明>；<复合尾部>T L：L：begin d；d；<复合尾部>T L：L：begin d；d；<语句>；<复合尾部>T L：L：begin d；d；s；<复合尾部.T L：L：begin d；d；s；<语句> endT L：L：begin d；d；s；s end最右推导：<程序>T<分程序>T<标号>：<分程序>T<标号>：<标号>：<分程序>T<标号>：<标号>：<无标号分程序>T<标号>：<标号>：<分程序首部>；<复合尾部>T<标号>：<标号>：<分程序首部>；<语句>；<复合尾部> T<标号>：<标号>：<分程序首部>；<语句>；<语句>；end T<标号>：<标号>：<分程序首部>；<语句>；s；endT<标号>：<标号>：<分程序首部>；s；s；endT<标号>：<标号>：<分程序首部>；说明；s；s；endT<标号>：<标号>：<分程序首部>；d；s；s；endT<标号>：<标号>：begin 说明；d；s；s；endT<标号>：<标号>：begin d；d；s；s；endT<标号>： L：begin d；d；s；s；endTL：L：begin d；d；s；s；end（2）句子L：L：begin d；d；s；s end的相应语法树是：7.解：aacb是文法G[S]中的句子，相应语法树是：最右推导：S=>aAcB=>aAcb=>aacb最左推导：S=>aAcB=>aacB=>aacb（2）aabacbadcd不是文法G[S]中的句子因为文法中的句子不可能以非终结符d结尾（3）aacbccb不是文法G[S]中的句子可知，aacbccb仅是文法G[S]的一个句型的一部分，而不是一个句子。
（4）aacabcbcccaacdca不是文法G[S]中的句子因为终结符d后必然要跟终结符a，所以不可能出现…dc…这样的句子。
（5）aacabcbcccaacbca不是文法G[S]中的句子由（1）可知：aacb可归约为S，由文法的产生式规则可知，终结符c后不可能跟非终结符S，所以不可能出现…caacb…这样的句子。
8.证明：用归纳法于n，n=1时，结论显然成立。
设n=k时，对于α1α2...αkT*b,存在βi：i=1,2,..,k，αiT*bi成立，现在设α1α2... αkαk+1T*b，因文法是前后文无关的，所以α1α2... αk可推导出b的一个前缀b'，αk+1可推导出b的一个后缀=b"(不妨称为b k+1)。
由归纳假设，对于b'，存在βi ：i=1,2,..,k，b'=β1β2...βk,使得αiT*bi成立，另外,我们有αk+1T*b"(=b k+1）。
即n=k+1时亦成立。
证毕。
9.证明：(1)用反证法。
假设α首符号为终结符时，β的首符号为非终结符。
即设：α=aω；β=Aω’且α=>*β。
由题意可知：α=aωT …T Aω’=β，由于文法是CFG，终结符a不可能被替换空串或非终结符，因此假设有误。
得证；（2）同（1），假设：β的首符号为非终结符时，α首符号为终结符。
即设：α=aω；β=Aω’且α=aωT …T Aω’=β，与（1）同理，得证。
10.证明：因为存在句子：abc，它对应有两个语法树（或最右推导）：STABTAbcTabcSTDCTDcTabc所以，本文法具有二义性。
11.解：(1) ST AB TA aSb TAa c bT bA acbTb bA acbTbb a acb上面推导中，下划线部分为当前句型的句柄。
对应的语法树为：全部的短语：第一个a (a1)是句子bbaacb相对于非终结符A (A1) (产生式A?a）的短语（直接短语）；b1a1是句子bbaacb相对于非终结符A2的短语；b2b1a1是句子bbaacb相对于非终结符A3的短语；c是句子bbaacb相对于非终结符S1（产生式S?c）的短语（直接短语）；a2cb3是句子bbaacb相对于非终结符B的短语；b2b1a1a2cb3是句子bbaacb相对于非终结符S2的短语；注：符号的下标是为了描述方便加上去的。
（2）句子（（（b）a（a））（b））的最右推导：ST（AS）T（A（b））T（（SaA）（b））T（（Sa（a））（b））T（（（b）a（a））（b））相应的语法树是：（3）解：iii*i+↑对应的语法树略。
最右推导：E TT=>F=>FP↑T FE↑T FET+↑T FEF+↑T FEP+↑T FEi+↑TFTi+↑T FTF*i+↑TFTP*i+↑T FTi*i+↑TFFi*i+↑T FPi*i+↑TFii*i+↑T Pii*i+↑Tiii*i+↑12.证明：充分性：当前文法下的每一符号串仅有一个句柄和一个句柄产生式T对当前符号串有唯一的最左归约T对每一步推导都有唯一的最右推导T有唯一的语法树。