形式語(yǔ)言與自動(dòng)機(jī)(王柏、楊娟編著)課后習(xí)題答案(編輯修改稿)
2025-07-20 22:18 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 abq0q0q1q1q0q2q2q0q3q3q3q3（2）M=({q0,q1 q2 },{a,b},σ,q0,{q2}),其中σ如下：abq0q1Φq1q2Φq2q2q2（3）M=({q0,q1 q2 },{a,b},σ,q0,{q2}),其中σ如下：abq0q1q0q1q2q0q2q2q014構(gòu)造DFA M1等價(jià)于NFA M，NFA M如下：（1）M=({q0,q1 q2,q3},{a,b},σ,q0,{q3}),其中σ如下： σ(q0,a)={q0,q1} σ(q0,b)={q0} σ(q1,a)={q2} σ(q1,b)= {q2 } σ(q2,a)={q3} σ(q2,b)= Φ σ(q3,a)={q3} σ(q3,b)= {q3 }（2）M=({q0,q1 q2,q3},{a,b},σ,q0,{ q1,q2}),其中σ如下： σ(q0,a)={q1,q2} σ(q0,b)={q1} σ(q1,a)={q2} σ(q1,b)= {q1,q2 } σ(q2,a)={q3} σ(q2,b)= {q0} σ(q3,a)= Φσ(q3,b)= {q0}答：（1）DFA M1={Q1, {a,b},σ1, [q0],{ [q0,q1,q3]，[q0,q2,q3]，[q0, q1,q2,q3]}其中Q1 ={[q0],[q0,q1], [q0,q1,q2],[ q0,q2],[ q0,q1, q2,q3],[ q0,q1, q3],[ q0,q2, q3],[ q0,q3]}σ1滿足ab[q0][q0,q1][ q0][q0,q1][q0,q1,q2][ q0,q2][q0,q1,q2][ q0,q1, q2,q3][ q0,q2][ q0,q2][ q0,q1, q3][q0][ q0,q1, q2,q3][ q0,q1, q2,q3][ q0,q2, q3][ q0,q1, q3][ q0,q1, q2,q3][ q0,q2, q3][ q0,q2, q3][ q0,q1, q3][ q0,q3][ q0,q3][ q0,q1, q3][ q0,q3]（2）DFA M1={Q1, {a,b},σ1, [q0],{ [q1],[q3], [q1,q3],[q0,q1,q2],[q1,q2] ,[q1,q2,q3],[q2,q3]}其中Q1 ={[q0],[q1,q3], [q1],[q2],[ q0,q1,q2],[q1,q2],[q3], [q1,q2,q3],[q2,q3]}σ1滿足ab[q0][q1,q3][q1][q1,q3][q2][ q0,q1,q2][q1][q2][q1,q2][q2][q3][q0][ q0,q1,q2][q1,q2,q3][ q0,q1,q2][q1,q2][q2,q3][ q0,q1,q2][q3]Φ[q0][q1,q2,q3]
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1