編譯原理總復(fù)習(xí)市公開課一等獎(jiǎng)百校聯(lián)賽優(yōu)質(zhì)課金獎(jiǎng)名師賽課獲獎(jiǎng)?wù)n件_第1頁
編譯原理總復(fù)習(xí)市公開課一等獎(jiǎng)百校聯(lián)賽優(yōu)質(zhì)課金獎(jiǎng)名師賽課獲獎(jiǎng)?wù)n件_第2頁
編譯原理總復(fù)習(xí)市公開課一等獎(jiǎng)百校聯(lián)賽優(yōu)質(zhì)課金獎(jiǎng)名師賽課獲獎(jiǎng)?wù)n件_第3頁
編譯原理總復(fù)習(xí)市公開課一等獎(jiǎng)百校聯(lián)賽優(yōu)質(zhì)課金獎(jiǎng)名師賽課獲獎(jiǎng)?wù)n件_第4頁
編譯原理總復(fù)習(xí)市公開課一等獎(jiǎng)百校聯(lián)賽優(yōu)質(zhì)課金獎(jiǎng)名師賽課獲獎(jiǎng)?wù)n件_第5頁
已閱讀5頁,還剩40頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡介

復(fù)習(xí)綱領(lǐng)1/45一、基礎(chǔ)知識1、經(jīng)典編譯程序可劃分為幾部分?各部分主要功效是什么?2、什么是句子和什么是句型?3、文法和語言關(guān)系?4、二義性文法?5、語法分析慣用方法?6、LL(1)文法、LR(0)文法、SLR(1)文法、LR(1)文法充分必要是什么?2/457、屬性文法中符號屬性分為哪幾個(gè)?怎樣設(shè)計(jì)遞歸下降翻譯?

8、棧式符號表工作過程。9、程序運(yùn)行時(shí)存放分配方法有哪些?動(dòng)態(tài)存放分配包含兩種方式?10、代碼優(yōu)化慣用三種方法?3/45二、針對語言結(jié)構(gòu)文法

1、L(G)={奇正整數(shù)};2、L(G)={anbm|n,m≥1};1、A::=1|3|5|7|9|NAN::=N0|N1|N2|N3|N4|N5|N6|N7|N8|N9N::=0|1|2|3|4|5|6|7|8|92、G[S]:S::=ABA::=aA|aB::=bB|b4/45三、針對文法結(jié)構(gòu)語言1、已知文法G[S]:S∷=ABA∷=aA︱εB∷=bBc︱bc,寫出該文法描述語言。1、A∷=aA︱ε描述語言:{an|n>=0}B∷=bBc︱bc描述語言:{bncn|n>=1}L(G[S])={anbmcm|n>=0,m>=1}2、已知文法G[Z]:Z::=aBaB::=bB|b寫出該文法描述語言。描述語言:{bn|n>=1}L(G[Z])={abna|n>=1}5/451、有正則文法G[Z]:Z::=Ua|Vb,U::=Zb|b,V::=Za|a,畫出該文法狀態(tài)圖,并檢驗(yàn)句子abba是否正當(dāng)。SUVZaaabbb2、狀態(tài)圖如圖所表示,S為開始狀態(tài),Z為終態(tài)。寫出對應(yīng)正則文法以及V,Vn和Vt。答:G[Z]:Z::=Ab|bA::=Aa|aV={Z,A,a,b},Vn={Z,A},Vt={a,b}答:(1)從開始狀態(tài)到結(jié)束狀態(tài)有一條路徑,路徑上字符組合正是abba,即句子abba正當(dāng)。(2)z=>Ua=>Zba=>Vbba=>abba,即句子abba正當(dāng)。四、正則文法和狀態(tài)圖SAZabab6/45五、求句型短語、簡單短語以及句柄,依據(jù)文法推導(dǎo)句子或者句型。

1、已知文法

E∷=T∣E+T∣E-TT∷=F∣T*F∣T/FF∷=(E)∣x,

(1)給出句子x+(x*x)最左推導(dǎo)和最右推導(dǎo)。(2)寫出句型(E+T)–F*x短語、簡單短語以及句柄解:(1)最左推導(dǎo):E=>E+T=>T+T=>F+T=>x+F=>x+(E)=>x+(T)=>x+(T*F)=>x+(F*F)=>x+(x*F)=>x+(x*x)最右推導(dǎo):E=>E+T=>E+F=>E+(E)=>E+(T)=>E+(T*F)=>E+(T*x)=>E+(F*x)=>E+(x*x)=>T+(x*x)=>F+(x*x)=>x+x*x7/451、短語(1)(E+T)-F*x(2)(E+T)(3)E+T(簡單短語、句柄)(4)F*x(5)F(簡單短語)(6)x(簡單短語)E+ETEE—TTFT*FFx()①②③④⑤⑥8/45六、以下文法G是左遞歸文法,試消除其左遞歸。G[T]:T→T*F|FF→F↑P|PP→(T)|i消除左遞歸后,得到不含左遞歸文法G‘以下:G’[T]:T→FT’T’→*FT’|εF→PF’F’→↑PF‘|εP→(T)|i消除左遞歸后,得到不含左遞歸文法G‘以下:G‘[T]:T→F{*F}F→P{↑P}P→(T)|i9/45七、NFA確實(shí)定化

01a,baa解:NFAM'={{0,1},{a,b},0,{0},δ}q0=ε-closure({0})={0}=q0q0a=ε-closure(δ(0,a))=ε-closure({0,1})={0,1}=q1q0b=ε-closure(δ(0,b))=ε-closure({1})={1}=q2q1a=ε-closure(δ(0,a)∪δ(1,a))=ε-closure({0,1})={0,1}=q1q1b=ε-closure(δ(0,b)∪δ(1,b))=

ε-closure({1})={1}=q2q2a=ε-closure({0})={0}=q0q2b=ε-closure(Φ)=Φq0qq2ababa10/45八、依據(jù)正則表示式結(jié)構(gòu)對應(yīng)NFA或DFA

1、1(1|0)*|0NFA2、(ab)*(a*|b*)(ba)*等價(jià)DFA02101ε011.2、解析:首先結(jié)構(gòu)正則表示式NFA,其結(jié)構(gòu)過程如圖所表示;(ab)*(a*|b*)(ba)*11/45(ba)*a*|b*(ab)*abεεεεbaa*b*aεεεεεεεεabbba(2)依據(jù)NFA結(jié)構(gòu)DFANFAM’={{0,1,2,3,4,5,6,7,8,9},{a,b},0,{9},δ}12/45q0=ε-closure({0})={0,1,3,4,5,6,7,9};q0a

=ε-closure(δ(q0,a))=ε-closure({2,,4})={2,4,6,7,9}=q1;q0b=ε-closure(δ(q0,b))=ε-closure({5,8})={5,6,7,8,9}=q2;q1a=ε-closure(δ(q1,a))=ε-closure({4})={4,6,7,9}=q3;q1b=ε-closure(δ(q1,b))=

ε-closure({1,8})={1,3,4,5,6,7,8,9}=q4;q2a=ε-closure(δ(q2,a))=ε-closure({7})={7,9}=q5;q2b=ε-closure(δ(q2,b))=

ε-closure({5,8})={5,6,7,8,9}=q2;q3a=ε-closure(δ(q3,a))=ε-closure({4})={4,6,7,9}=q3;13/45q3b=ε-closure(δ(q3,b))=ε-closure({8})={8}=q6;q4a=ε-closure(δ(q4,a))=ε-closure({2,4})={2,4,6,7,9}=q1;q4b=ε-closure(δ(q4,b))=

ε-closure({5,8})={5,6,7,8,9}=q2;q5a=ε-closure(δ(q5,a))=ε-closure({φ})=φ;q5b=ε-closure(δ(q5,b))=ε-closure({8})={8}=q6q6a=ε-closure(δ(q6,a))=ε-closure({7})={7,9}=q5;q6b=ε-closure(δ(q6,b))=ε-closure({φ})=φ;

計(jì)算到此,不再有新狀態(tài)。14/45aaaaaabbbbbbDFA狀態(tài)轉(zhuǎn)換圖以下:15/45十、將右圖DFA化簡。解:(1)將Q狀態(tài)劃分為S1和S2狀態(tài),即Q=S1∪S2,S1={2,3,4,5},S2={0,1}014253aaaaaabbbbbb(2)對于S1={2,3,4,5}劃分:δ(2,a)=1;δ(3,a)=3;δ(4,a)=0;δ(5,a)=5;狀態(tài)0,1和3,5不屬于同一個(gè)狀態(tài)集。所以將S1劃分成s3={2,4},s4={3,5}(3)對于s3={2,4}劃分:δ(2,a)=1;δ(2,b)=3;δ(4,a)=0;δ(4,b)=5;即S3不能劃分,說明狀態(tài)2和狀態(tài)4等價(jià)。(4)對于S2={0,1}劃分:δ(0,a)=1;δ(0,b)=2;δ(1,a)=1;δ(1,b)=4;即S2不能劃分,說明狀態(tài)0和狀態(tài)1等價(jià)。16/45(4)對于s4={3,5}劃分:δ(3,a)=3;δ(3,b)=2;δ(5,a)=5;δ(5,b)=4;即S4不能劃分,說明狀態(tài)3和狀態(tài)5等價(jià).(5)到此,不能再繼續(xù)劃分,最終得到不能劃分狀態(tài)集有S2={0,1},s3={2,4},s4={3,5}每一個(gè)狀態(tài)集中留一個(gè)狀態(tài)得:S2={0},s3={2},s4={3}。將原來轉(zhuǎn)換函數(shù)中狀態(tài)1改成狀態(tài)0,狀態(tài)4改成狀態(tài)2,狀態(tài)5改成狀態(tài)3,得到:δ(0,a)=0;δ(0,b)=2;δ(2,a)=0;δ(2,b)=3;δ(3,a)=3;δ(3,b)=2;最終化簡后DFA如圖右:023baaabb17/45

十一、對下面文法,設(shè)計(jì)遞歸下降分析程序。S→aAS|(A),A→Ab|c解:首先將左遞歸去掉,將規(guī)則A→Ab|c改成A→c過程SINPUTSYM=’a’INPUTSYM=下一個(gè)符號YNINPUTSYM=’(’INPUTSYM=下一個(gè)符號YINPUTSYM=’)’INPUTSYM=下一個(gè)符號YNN出口錯(cuò)誤錯(cuò)誤過程A過程S過程A非終止符號S分析程序18/45Y過程AINPUTSYM=’c’INPUTSYM=下一個(gè)符號YINPUTSYM=’b’N錯(cuò)誤INPUTSYM=下一個(gè)符號出口非終止符號A分析程序N19/45十二、遞歸下降分析方法,對此文法來說,在分析過程中,能否防止回溯問題。

1、設(shè)有文法G[Z]:Z∷=(A),A∷=a|Bb,B∷=Aab在分析過程中,能否防止回溯?為何?2、怎樣結(jié)構(gòu)遞歸下降分析程序。1、解:若采取遞歸下降分析方法,對此文法來說,在分析過程中不能防止回朔。規(guī)則A::=a|Bb,FIRST(a)={a},FIRST(Bb)={a},即此規(guī)則候選式首符號集有相交。需要經(jīng)過規(guī)則帶入使候選式第一個(gè)符號相同,然后提取公因子。但經(jīng)過規(guī)則帶入后最終一個(gè)候選式總是以B開頭,而FIRST(B)={a},所以無法提取出a,候選式首符號集總是相交。但可將B規(guī)則代入A規(guī)則得:A∷=a|Bb轉(zhuǎn)換成A∷=a{abb}即可防止回溯。20/452、解:改寫后文法變?yōu)閆∷=(A),A∷=a{abb}Y過程ZINPUTSYM=’(’INPUTSYM=下一個(gè)符號YN出口錯(cuò)誤過程A非終止符號Z分析程序INPUTSYM=’)’N錯(cuò)誤INPUTSYM=下一個(gè)符號21/45NY過程AINPUTSYM=’a’INPUTSYM=下一個(gè)符號YINPUTSYM=’a’N錯(cuò)誤INPUTSYM=下一個(gè)符號YINPUTSYM=’b’INPUTSYM=’b’出口N錯(cuò)誤N出口Y22/45十三、什么是LL(1)文法,怎樣結(jié)構(gòu)LL(1)分析表以及怎樣利用分析表對符號串分析。

1、若有文法G[A]:A∷=aABe|ε,B∷=Bb|b(1)為非終止符號結(jié)構(gòu)FIRST集和FOLLOW集;(2)該文法是不是LL(1)文法?(3)結(jié)構(gòu)LL(1)分析表;設(shè)A∈VN,則FOLLOW(A)結(jié)構(gòu)方法以下:①對文法開始符S,令#∈FOLLOW(S)。②若有產(chǎn)生式A→αBβ,則FIRST(β)FOLLOW(B);③若有產(chǎn)生式A→αB或A→αBβ且ε∈FIRST(β),則FOLLOW(A)FOLLOW(B)解:(1)FIRST(A)={a,ε},

FIRST(B)=FOLLOW(A)={b,#},FOLLOW(B)={b,e}

23/45(2)對于A產(chǎn)生式:FIRST(aABe)={a},

FOLLOW(A)={b,#},

∵FIRST(aABe)∩FOLLOW(A)=φ,∴A中無多重定義。又對于B產(chǎn)生式,存在左遞歸,改寫變成:B∷=bB’B’∷=bB’|ε24/45符號輸入符號abe#ABB’abe#POP,PUSH(eBAa)

POP,NEXTSYM

POPPOP,PUSH(B’b)POP,PUSH(B’b)

POP,NEXTSYM

POP

POP,NEXTSYMPOP

ACCEPT(3)改寫后文法變?yōu)锳∷=aABe|εB∷=bB’B’∷=bB’|ε

FIRST(A)={a,ε},

FIRST(B)=,FIRST(B’)={b,ε}FOLLOW(A)={b,#},FOLLOW(B)={e}FOLLOW(B’)={e}25/45十四、若有文法A→(A)A|ε(1)為非終止符A結(jié)構(gòu)FIRST集合和FOLLOW集合(2)說明該文法是LL(1)文法。解:(1)FIRST(A)={(,ε},FOLLOW(A)={),#}.(2)因?yàn)榇宋姆ú淮嬖谧筮f歸又因?yàn)镕IRST((A)A)={(};

FOLLOW(A)∩FIRST((A)A)=φ即該文法為LL(1)文法26/45十五、設(shè)有以下文法G[E]:E→-E|[E]|VEtEt→-E|εV→tVtVt→[E]|ε解:(1)一個(gè)上下文無關(guān)文法G是LL(1)文法充要條件是,對任一A∈VN,若A所定義全部產(chǎn)生式為:①A→β1|β2|β3|…|βn;下面條件成立:FIRST(β1)∩FIRST(β2)∩…∩FIRST(βn)=φ;②假若βi=>ε,即FIRST(β1)∩…∩

FOLLOW(A)∩…∩FIRST(βn)=φ;首先求每一個(gè)產(chǎn)生式右部FIRST集:對于E→-E|[E]|VEtFIRST(-E)={-};FIRST([E])={[};FIRST(VEt)=FIRST(V)=FIRST(tVt)={t};(1)證實(shí)文法G[E]是LL(1)文法。(2)結(jié)構(gòu)G[E]LL(1)分析表。(3)寫出句子t-t[t]分析過程。*27/45對于Et→-E|εFIRST(-E)={-};FOLLOW(Et)={],#};對于V→tVt產(chǎn)生式;FIRST(tVt)={t};對于Vt→[E]|ε產(chǎn)生式:FIRST([E])={[};FOLLOW(Vt)={-,],#};(說明:E=>VEt=>V-E=>tVt-E;E=>[E]=>[VEt]=>[V]=>[tVt];E=>VEt#=>V#=>tVt#;)FIRST(-E)∩FIRST([E])∩FIRST(VEt)={-}∩{]}∩{t}=φ;FIRST(-E)∩FOLLOW(Et)={-}∩{],#}=φ;FIRST([E])∩FOLLOW(Vt)={[}∩{-,],#}=φ;上述計(jì)算結(jié)果均為空,即滿足LL(1)文法充要條件,證實(shí)該文法G[E]是LL(1)文法。28/45(2)文法G[E]LL(1)分析表以下:符號t-[]#EPOP,PUSH(EtV)POP,PUSH(E-)POP,PUSH(]E[)EtPOP,PUSH(E-)POPPOPVPOP,PUSH(Vtt)VtPOPPOP,PUSH(]E[)POPPOPtPOP,NEXTSYM-POP,NEXTSYM[POP,NEXTSYM]POP,NEXTSYM#ACCEPT29/45(3)句子t-t[t]分析過程以下表:步驟分析棧余留輸入串分析表元素所用產(chǎn)生式1#Et-t[t]#POP,PUSH(EtV)E→VEt2#EtVt-t[t]#POP,PUSH(Vtt)V→tVt3#EtVttt-t[t]#POP,NEXTSYM4#EtVt-t[t]#POPVt→ε5#Et-t[t]#POP,PUSH(E-)Et→-E6#E--t[t]#POP,NEXTSYM7#Et[t]#POP,PUSH(EtV)E→VEt8#EtVt[t]#POP,PUSH(Vtt)V→tVt9#EtVttt[t]#POP10#EtVt[t]#POP,PUSH(]E[)Vt→[E]30/4511#Et]E[[t]#POP,NEXTSYM12#Et]Et]#POP,PUSH(EtV)E→VEt13#Et]EtVt]#POP,PUSH(Vtt)V→tVt14#Et]EtVttt]#POP,NEXTSYM15#Et]EtVt]#POPVt→ε16#Et]Et]#POPEt→ε17#Et]]#POP,NEXTSYM18#Et#POPEt→ε19##ACCEPT步驟分析棧余留輸入串分析表元素所用產(chǎn)生式31/45十六、什么是LR(0)文法,怎樣結(jié)構(gòu)LR(0)項(xiàng)目集規(guī)范族、分析表以及怎樣利用分析表對符號串分析。

1、考慮以下文法:S→S;T|TT→a(1)為這個(gè)文法結(jié)構(gòu)LR(0)項(xiàng)目集規(guī)范族;(2)此文法是LR(0)文法嗎?假如是,結(jié)構(gòu)LR(0)分析表;(3)對輸入串“a;a”進(jìn)行分析。32/45狀態(tài)項(xiàng)目集轉(zhuǎn)換函數(shù)0S’→.SS→.S;TS→.TT→.aGO[0,S]=1GO[0,S]=1GO[0,T]=2

GO[0,a]=3

1S’→S.

S→S.;TACCEPTGO[1,;]=42S→T.R23T→a.R3

4S→S;.TT→.aGO[4,T]=5

GO[4,a]=35S→S;T.R1

解:此文法拓廣文法:0)S’→S1)S→S;T2)S→T3)T→a(1)LR(0)項(xiàng)目集規(guī)范族33/45狀態(tài)ACTIONGOTO;a#ST0S3121S4ACCEPT2R2R2R23R3R3R34S355R1R1R1(2)此文法中沒有“移進(jìn)-歸約沖突”和“歸約-歸約沖突”項(xiàng)目集,那么該文法為LR(0)文法其LR(0)分析表為:34/45(2)對符號串“a;a”分析過程以下:步驟狀態(tài)棧符號棧輸入符號串ACTIONGOTO說明10#a;a#S3開始時(shí),0入狀態(tài)棧,#入符號棧,符號為a,查動(dòng)作表0行a列為S3,3入狀態(tài)棧,a入符號棧。203#a;a#R32輸入符號為a,查動(dòng)作表3行a列為R3,用T→a規(guī)約,a出符號棧、T入符號棧,3出狀態(tài)棧,0為棧頂,查GOTO表0行T列得2,2入狀態(tài)棧302#T;a#R21用S→T規(guī)約401#S;a#S45024#S;a#S360243#S;a#R35用T→a規(guī)約70245#S;T#R11用S’→S;T規(guī)約801#S#ACCEPT35/45十七、證實(shí)下面文法是SLR(1)文法,但不是LR(0)文法。S→AA→Ab|BbaB→aAc|a|aAb證實(shí):(1)此文法擴(kuò)廣文法:0)S→A1)A→Ab2)A→bBa3)B→aAc4)B→a5)B→aAb(2)此文法項(xiàng)目集規(guī)范族:36/45狀態(tài)項(xiàng)目集轉(zhuǎn)換函數(shù)0S→·AA→·AbA→·bBaGO[0,A]=1GO[0,A]=1GO[0,b]=21S→A·A→A·bACCEPTGO[1,b]=32A→b·BaB→·aAcB→·aB→·aAbGO[2,B]=4GO[2,a]=5GO[2,a]=5GO[2,a]=53A→Ab·R14A→bB·aGO[4,a]=65B→a·AcB→a·B→a·AbA→·AbA→·bBaGO[5,A]=7R4GO[5,A]=7GO[5,A]=7GO[5,b]=2狀態(tài)項(xiàng)目集轉(zhuǎn)換函數(shù)6A→bBa·R27B→aA·cB→aA·bA→A·bGO[7,c]=8GO[7,b]=9GO[7,b]=98B→aAc·R39B→aAb·A→Ab·R5R1因?yàn)闋顟B(tài)5出現(xiàn)“移進(jìn)-歸約”沖突,狀態(tài)9出現(xiàn)“歸約-歸約”沖突。即不是LR(0)文法。FOLLOW(S)={#},F(xiàn)OLLOW(A)={b,c}FOLLOW(B)={a}即狀態(tài)5中,

FOLLOW(B)∩={a}∩=φ狀態(tài)9中,F(xiàn)OLLOW(B)∩

FOLLOW(A)={a}∩{b,c}=φ37/45十八、考慮以下文法G[S];S→(A)A→Ab|bBaB→aAb|aAc|a(1)證實(shí)文法G[S]不是LR(0)文法,是SLR文法。(2)結(jié)構(gòu)文法G[S]SLR(1)分析表。(3)給出句子(baa)分析過程。解:首先將文法G[S]拓廣為G[S']:1.S'→S2.S→(A)3.A→Ab4.A→bBa5.B→aAb6.B→aAc7.B→a38/45(1)假如一個(gè)文法G不是LR(0)文法,則它LR(0)項(xiàng)目集規(guī)范族中一定存在包含“移進(jìn)-歸約”沖突或“歸約-歸約”沖突項(xiàng)目集。所以為證實(shí)該文法不是LR(0)文法,首先結(jié)構(gòu)它LR(0)項(xiàng)目集規(guī)范族。以下表:狀態(tài)項(xiàng)目集轉(zhuǎn)換函數(shù)0S'→·SS→·(A)GO[0,(]=1GO[0,S]=71S→(·A)A→·AbA→·bBaGO[1,A]=2GO[1,A]=2GO[1,b]=32S→(A·)A→A·bGO[2,)]=8GO[2,b]=103A→b·BaB→·aAbB→·aAcB→·aGO[3,B]=6GO[3,a]=4GO[3,a]=4GO[3,a]=439/45狀態(tài)項(xiàng)目集轉(zhuǎn)換函數(shù)4B→a·AbB→a·AcB→a·A→·AbA→·bBaGO[4,A]=5GO[4,A]=5R7GO[4,b]=3GO[4,b]=35B→aA·bB→aA·cA→A·bGO[5,b]=12GO[5,c]=11GO[5,b]=126A→bB·aGO[6,a]=97S'→S·ACCEPT8S→(A)·R29A→bBa·R410A→Ab·R311B→aAc·R612B→aAb·A→Ab·R5R340/45逐一檢驗(yàn)項(xiàng)目集規(guī)范族中每一個(gè)項(xiàng)目集,不難發(fā)覺項(xiàng)目集I4和I12是含有項(xiàng)目沖突項(xiàng)目集。項(xiàng)目集I4既含有“B→a·”歸約項(xiàng)目,又含有“B→a·Ab,B→a·AcA→·Ab,A→·bBa”4個(gè)移進(jìn)項(xiàng)目,即存在“移進(jìn)-規(guī)約”沖突。而項(xiàng)目集I12同時(shí)兩個(gè)歸約項(xiàng)目“B→aAb·,A→Ab·”,即存在“歸約-歸約”沖突,故該文法不是LR(0)文法。假如文法G不是LR(0)文法,是SLR文法應(yīng)滿足條件,則對含有沖突項(xiàng)目集IK,設(shè)IK同時(shí)含有m個(gè)移進(jìn)項(xiàng)目“A1→α1·a1β1,A2→α2·a2β2,…Am→αm·amβm,”和n個(gè)歸約項(xiàng)目“B1→γ1·,B2→γ2·,…,Bn→γn·”,若有:{a1,a2,…,am}∩FOLLOE(B1)∩FOLLOE(B2)∩…∩FOLLOE(Bn)=φ.即移進(jìn)項(xiàng)目“·”右鄰待移進(jìn)全部終止符組成集協(xié)議全部歸

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論