形式語言與自動機理論-蔣宗禮-第三章參考答案

精品文檔第三章作業(yè)答案M1與M218精品文檔放心下載精品文檔放心下載q0S0q1q00q1110101011100q2q32q3q10圖qqqqqqqq;謝謝閱讀03132313qqqqqqqq;精品文檔放心下載02313231:精品文檔放心下載謝謝閱讀精品文檔放心下載精品文檔放心下載()精品文檔放心下載*0，1+S00，11}且x00}謝謝閱讀+00精品文檔放心下載1。精品文檔S110010,10{1}且x00}精品文檔放心下載*S110010,101}且x10110}謝謝閱讀+010,1S1011000

11}且x}感謝閱讀+00精品文檔放心下載1010,1S011001}且當把xx模5和3x為0且謝謝閱讀+x0x1}以0感謝閱讀設(shè)置7q,q除以5余0q5余1精品文檔放心下載s：5余2q5余3q5余4q精品文檔放心下載t01qqq012qqq132qqq204qqq3122。精品文檔q4q3q4q00110qqqs12111q4000qt0,1q310且x1}謝謝閱讀+x感謝閱讀0,1S0,10,10,11感謝閱讀0,1且x以01}謝謝閱讀+1感謝閱讀00S0110,11且x1}精品文檔放心下載+3。精品文檔00,111010x以1x以0感謝閱讀+}1}4+q[：qx0qx1：qx0qx1q1q0001q4S011q3011q2}0S0，1，2，3，4，5，6，7，8，91，2，3，4，5，6，7，8，9.0，1，2，3，4，

5，6，7，8，9）S）S感謝閱讀4。精品文檔3）|x*}

|x}+）|xx00}感謝閱讀+|xx00}謝謝閱讀+|xx00}精品文檔放心下載*|xx00}謝謝閱讀*5。精品文檔|xx{0}x100}精品文檔放心下載**|xx1}謝謝閱讀*|xx10}謝謝閱讀*|xx101}精品文檔放心下載*|xx1011}謝謝閱讀*|xx10110}謝謝閱讀*{}|x{0}}+|xxx1}感謝閱讀*|xxx1}謝謝閱讀*{}|xx感謝閱讀+|xx感謝閱讀+6。精品文檔|xx謝謝閱讀+|xx精品文檔放心下載+|xx5=0x0}謝謝閱讀+,0Q={q,q,q,q}012當(q,0)=(qi(q9(qq}i）{}

|x感謝閱讀+|x謝謝閱讀+|x精品文檔放心下載+|x謝謝閱讀+|x謝謝閱讀+|x謝謝閱讀+|x謝謝閱讀+|x感謝閱讀+|xx1}謝謝閱讀+,0Q={q,q,q}01201q11q12q22q21q}2{}|x,并且x以0開頭以0結(jié)尾}謝謝閱讀+|x,并且x以0開頭以1結(jié)尾}感謝閱讀+,0Q={q,q,q}0120001q117。精品文檔q12q22q22q}2|xx1}謝謝閱讀+|xx1}謝謝閱讀+,0Q={q,q,q,q,q}01234}20104q13q12q24q21q31q34q42q43q,q01{}|x,0}謝謝閱讀+|x,1}謝謝閱讀+|x,0}感謝閱讀+|x,1}感謝閱讀+,000,.12閱讀感謝,.23文檔放心下載精品4閱讀{}感謝}}.}

}感謝閱讀8。精品文檔）{}

）{}精品文檔放心下載4q[a...a]an12[a...a]an12q[a...a]an12）[aa12...an]q[aa12...an]q[aa12...an]感謝閱讀FAFA感謝閱讀謝謝閱讀謝謝閱讀FA）

解：⑴97FA精品文檔放心下載感謝閱讀謝謝閱讀⑵精品文檔放心下載謝謝閱讀⑶謝謝閱讀謝謝閱讀感謝閱讀精品文檔放心下載x中0和1精品文檔放心下載DFAMx1}且x+謝謝閱讀中0的個數(shù)和1DFAM）

DFADFA精品文檔放心下載感謝閱讀感謝閱讀DFA）精品文檔放心下載9。精品文檔S0AA|1

SB0S|0將1S,1代入S0A0S,0S得感謝閱讀S|01S10S|10L={(10|01)},顯然01或10謝謝閱讀*中0和1精品文檔放心下載,F)x,y,q(q,((q,x),y)

M=(Q,,,q感謝閱讀0yx=0y=精品文檔放心下載(q,)q,(q,xy)(q,x)((q,x),)((q,x),y),精品文檔放心下載=n+1y===1感謝閱讀謝謝閱讀(q,xa)((q,xaa謝謝閱讀(q,xy)(q,xwa)((q,xw),a)(((q,x),w),a)((q,x),wa)

((q,x),y)謝謝閱讀y感謝閱讀DFAMF)DFAMF),）謝謝閱讀1122L(M)=Σ—LM*21M。2設(shè)MF)取MF)感謝閱讀1121L(M)=Σ—M）*21xΣ*xL(MM）F）Q）FxΣ*2111xL(M)xM）11感謝閱讀對于任意的M(Q,∑,δ,q,F),請構(gòu)造M(Q,∑,δ,q,F)，使得謝謝閱讀111222L(M)=L(M)L(M)={x|x）感謝閱讀TTT12M取q,{q:精品文檔放心下載10Q∪{q},qQ1001感謝閱讀10。精品文檔謝謝閱讀1δ(q,ε)=F011T對q011aa…2ma1aa2ma…aa…a├qa├a122mmf1qqa…1a├a2m1aq…aqa22ma├2m1qq,a),q,a),q,a)并且q∈精品文檔放心下載f01f1212mf精品文檔放心下載F1則δ,a)=q,δ,aq,δ(q,a)=qδ(q,a)=q謝謝閱讀1m11221111f感謝閱讀因此qmama…aa├a1ma2qaq1faaaqaa├aaaqa├a21211…m2…1m因此am1aa)即x∈L(M)T111a…a∈L(M)xa2m1maa)1

1L(M)=L(M)T

1Mq,{qM=(,q,{q感謝閱讀0320謝謝閱讀^2NFAM=(,q,{q320感謝閱讀M=(Q,∑,δ,F)Q=2F{q}精品文檔放心下載Q11111δq…,q],a)=[p,p,p]當且僅當δ12n12nq…,qp,p}謝謝閱讀22n12n謝謝閱讀謝謝閱讀）謝謝閱讀(1){xx且x中不含形如的子串}謝謝閱讀11。精品文檔1S010111(2){xx且x中含形如10110的子串}謝謝閱讀1011，10，1x且x10110的子串}感謝閱讀1011，10，1(4){xx和x的倒數(shù)第個字符是，且以結(jié)尾}精品文檔放心下載11111110111(5){xx且x以0開頭以1結(jié)尾}精品文檔放心下載0，101(6){xx且x}感謝閱讀12歡迎下載。精品文檔0，10，10，1S110，1(7){xx*且如果x以1感謝閱讀如果以0}1S10x且x的首字符和尾字符相等}謝謝閱讀01001111(9){xxTx,}0,100110,1精品文檔放心下載感謝閱讀）謝謝閱讀13歡迎下載。精品文檔）M1012精品文檔放心下載}{q0}謝謝閱讀012

感謝閱讀精品文檔放心下載謝謝閱讀精品文檔放心下載感謝閱讀精品文檔放心下載精品文檔放心下載q0[q0,q1]0[q0,q1,q3][q0,q2,q3]0101,21,2[q0,q2]22[q0,q1,q2]2100,10,1[q0,q1,q2,q3]2圖3-9NFAM2012}精品文檔放心下載14。精品文檔}}{012謝謝閱讀感謝閱讀謝謝閱讀精品文檔放心下載謝謝閱讀q0201[q0,q1,q2]1[q1,q3]0211[q1,q2]0220100[q2]2[q2,q3][q1]01[q3,q1,q2]201圖3-10NFA謝謝閱讀NFA感謝閱讀）NFAM=(Q的謝謝閱讀NFANFA感謝閱讀15。精品文檔NFA與

原NFA感謝閱讀精品文檔放心下載該感謝閱讀謝謝閱讀13．試給出一個構(gòu)造方法，對于任意的M1M)(Q,,,q,F)L(M*L(M)2220221(Q,,1,q10,F)，構(gòu)造1DFA8謝謝閱讀NFAM，M)L(M)11L(M3

3M(Q,,,[q],F),33330Q2,F{[p,p...p]|{p,...p}Q,{p,},{p,...3312pp...p}Fpm1m1

mQ22

12

1([q...q],a)[p...p]...q},a)31{p...p}1nm111nm在，QQ,F{[p...p]|[p...p]F223}2,211此mm基

礎(chǔ)

上33MM確定化后不是終結(jié)狀態(tài)的狀態(tài)為M,,,q12

4)L(M*L(M)M(QM23344中QQ,,F43434Q4M1L(M)*,4xL(M),則(q,x)F(q,x)FxL(M20203)*,故x),又因為3*L(M)，3(q,x)Q(q,x)F(q,x)L(M030404故L(M)*L(M)23L(M)*L(M)23故L(M2)*)L(M)，L(M3L(M3)，)*2L(M)故1L(M1M2感謝閱讀16歡迎下載。精品文檔。精品文檔放心下載⑴{且x和x++01。感謝閱讀1111110,1101精品文檔放心下載ε

ε11S10110εε⑵{x10110}{x10精品文檔放心下載++01結(jié)尾}11S101101ε1110,111101謝謝閱讀⑶{且x且x以01++。謝謝閱讀5精品文檔放心下載q00謝謝閱讀q:q12個以上的0后輸入110精品文檔放心下載q:表示q02個以上的01021精品文檔放心下載q:表示q12010132謝謝閱讀q:表示q12個以上的0101143謝謝閱讀17。精品文檔011εεq01011qqq0213q410εεSεεε1F01εs0s12⑷{且x00x11的感謝閱讀++。0S1001ε11011DFAqt18。精品文檔0Sq0101q4q21q11q60q50qt0q1131001⑸{且x00且x11謝謝閱讀++串。x0011x01謝謝閱讀ε01εεSεεεε10εq謝謝閱讀+01S00,1011qt0101感謝閱讀的狀態(tài)轉(zhuǎn)移函數(shù)，起始狀態(tài)q的q={qq}。謝謝閱讀3002）感謝閱讀19。精品文檔01{qq}{qqq}{qqqq}2，2，，3{qqq}{qqqq}{qqqq}，2，，3，，3{qqqq}{qqqq}{qqqq}，，3，，3，，3q{qq{qqq}q{qqqq}qq{q2，2，，33qqq}，，301S0010q1q201{qq}{qq}{qqqq}3，2，，3{qq}{qq}{qqq}，2，2，3{qqqq}{qqq}{qqqq}，，3，，3，，3{qqq}{qqq}{qqqq}，3，，3，，3{qqq}{qq}{qqqq}，，3，2，，3q{qq{qq}q{qqqq}q{qqq}q{qqq}3，2，，3，3，，3qqqq,q，，34S1q201q000q111q30q4到DFA到NFA-NFA精品文檔放心下載）01q(){qqqq}{qqqq}0，23，，3q{qqqq}{qqq}1，，3，，3q{qqqq}qq}2，，3，，3q{qqqq}{qqqq}3，，3，，301q(){qqq}{qqqq}012，，，3q{q}{qq}12，2q{qq}{qqq}2，，3，320。精品文檔q空{(diào)q30}精品文檔放心下載的FAM(Q,∑,δ,q,F)M(Q,∑,δ,q,F)，精品文檔放心下載11112222謝謝閱讀L(M)∪L(M)）感謝閱讀12Q1與Q空2）構(gòu)造Q∪Q∪{qq,F感謝閱讀120012F∪F12q0}112a)=δ2L(M12設(shè)x∈L(M)∪L(Mxxx時感謝閱讀12121δ(q11由Mq,xq000,,=δ1,,1,即x∈L(M2故L(M12)12設(shè)則q,x0由Mq,xq000},x),,,因為Q1與Qq,xF∪F2012則,δ(q,11x∈L(M)121。精品文檔,因為Q1與Qq,xF∪F2012則,δ(q,21x∈L(M)2x∈L(M)∪L(M)謝謝閱讀1212L(M)=)12精品文檔放心下載）FAM1(Q,,111存在FAM,L(M)L(M12,q,),FFAM2(Q,21).,2,q,F),22M(Q,,,q,{f})δ謝謝閱讀Q122對-{f}11；對-{f}22a)=δ；2δ(f}1L(M)L(M)L(M)，)12L(M)L(M)L(M)L(M)L(M2L(M)121L(M)L(M)12L(M)設(shè)x),從而有xL(M并且L(M)L(M2xL(M),11122使得xxx12M在處理x的過程中,經(jīng)過的狀態(tài)全部都是Q,所以在定義111感謝閱讀M,對qQ,a,(q,x)(q,a)精品文檔放心下載11故(q,x)(q,x){f}感謝閱讀01110121M在處理x,經(jīng)過的狀態(tài)全部都是Q,義222精品文檔放心下載M,對qQ,a,(q,x)(q,a)精品文檔放心下載12(q,x)(q,x){f}謝謝閱讀0222xL(M)(q,x)(q,x)x01011

2((q,x),x)0112((q,x),x)10112(f,x)12(f,x)12((f,),x)12(q,x)022(q,x)2022{f}2即得證xL(M)22。精品文檔L(M)L(M)L(M1設(shè)xL(M),即2)(q,x){f}012由于M是從q由M,M要達到狀態(tài)f,謝謝閱讀012先到f由于除了對應(yīng)狀態(tài)轉(zhuǎn)移函數(shù)式(f,)的移動感謝閱讀1102,不存在從f,而且該移動是f謝謝閱讀12,所以比存在x的前綴x和后綴x,xxx,x感謝閱讀12121將M從狀態(tài)q引導到狀態(tài)f,x將M從狀態(tài)q引導到狀態(tài)f謝謝閱讀0112022即(q,x))

(q,xx010112(f,x)12其中,(f,x)12(q,x)022{f}2(q,x){f},說明(q,x){f};感謝閱讀011110111(q,x){f},說明(q,x){f}精品文檔放心下載0222222這表明xL(M)11xL(M)22從而xxL(M)L(M)x1212故L(M)L(M)L(M)12綜上所述,L(M)L(M)L(M2

1感謝閱讀）23歡迎下載。精品文檔＝Q，F(xiàn)AM＝Q18.證明：對于任意的FAMqFqF1，，，01，122，，2，，2存在FA，使得LM＝LMLM。12證明：不妨將這些看成DFA取M＝QFQ，q，q121201對于a.，q,pq,p，a＝q，a，p，a1212xx1x2......xk其中xik1設(shè)：xLM則i1,12使得q,p，xiq，xi,p，xi12xiLMLMxLMLM1212從而可得LMLMLM12xx1x2......xk其中xik2設(shè)：xLMLM則i1,1212有q，xi且p，xi從而使得12xi＝q,p，xi；xi＝q,p，xi12xiLMxLM從而可得LMLMLM12綜合(1)(2)可得LM＝LMLM。12又因為和具有等價性，所以原命題得證。感謝閱讀）謝謝閱讀和謝謝閱讀FAq）精品文檔放心下載0δ感謝閱讀ε謝謝閱讀謝謝閱讀）

DFA謝謝閱讀感謝閱讀謝謝閱讀與2DFA與NFA感謝閱讀謝謝閱讀203-20DFA精品文檔放心下載24。精品文檔S0A|1|1C

A0S：|1|1CB0||1SC0A|1AS0A|1B

A|1|：0BB|0

|1AC0A|1A精品文檔放心下載DFA精品文檔放心下載⑴0q0q1S0111

1q20q3解：設(shè)qq、qq。感謝閱讀0123由于q精品文檔放心下載2⑵Sq001q110110q

1230感謝閱讀25。精品文檔qqqq。謝謝閱讀0123謝謝閱讀。）感謝閱讀:a,cSaAaabZa,b,cBa,b,ca,cZaAaabSB謝謝閱讀26。精品文檔M:）精品文檔放心下載δ(q,3)={q}00δ(q,1)={q}01δ(q,0)={q}12δ(q,1)={q}13δ(q,0)={q}22δ(q,1)={q}33,q,q.23(1)M是DFA?.

DFA謝謝閱讀q130

1103qq01q302q1DFAq的Σ且δ(q,x)=q}謝謝閱讀*0set(q)={3}*0set(q)={31}*1set(q)={3100}**

2set(q)={3111}**

330|313|3100(1|3)|3111013}感謝閱讀********使q→3q|1q001q→0q|1q123qq22qq33感謝閱讀FA）精品文檔放心下載a1a2anaa感謝閱讀n精品文檔放心下載anFAAaB精品文檔放心下載AaAa

。感謝閱讀27。精品文檔ana感謝閱讀n感謝閱讀aanFAABAa。謝謝閱讀謝謝閱讀FA）精品文檔放心下載M,F)(Q,,,q0Aa的產(chǎn)生式，增加一個開始狀態(tài)Z，使得q0ZE=F,對于產(chǎn)生式BAa,則有(A,a)B,感謝閱讀對于產(chǎn)生式Ba,且E是開始狀態(tài)，則有(E,a)與FA謝謝閱讀M(Q,,,q0,F)做謝謝閱讀刪除FA在FA感謝閱讀(A,a)B，則有產(chǎn)生式Ba精品文檔放心下載(A,a)B,且A是開始狀態(tài)q0,則有產(chǎn)生式Ba。謝謝閱讀）28。精品文檔26.2與FA2MM＝Q，，，q，F(xiàn)謝謝閱讀0Q，，q，F(xiàn)。0：QQL，R，Sq，aQ，精品文檔放心下載1q，a＝p，Laqp精品文檔放心下載2q，a＝p，Raqp感謝閱讀3q，a＝p，Saqp精品文檔放心下載謝謝閱讀感謝閱讀FAqQ,a謝謝閱讀(q,a){(p,D)...(p1m,D)}D的2NFA精品文檔放心下載M1(Q,,,F,q1110M,,,F,q)2(Q220220等2,q)，,,1(Q,,,2(Q20構(gòu)造M的F2111M),F2,q)，0按三個方式構(gòu)造：2