版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、第二章2.3敘述由下列正規(guī)式描述的語(yǔ)言21(a) 0(0|1)*0在字母表0, 1上,以0開(kāi)頭和結(jié)尾的長(zhǎng)度至少是2的01串(b) (|0)1*)*在字母表0, 1上,所有的01串,包括空串(c) (0|1)*0(0|1)(0|1)在字母表0, 1上,倒數(shù)第三位是0的01串(d) 0*10*10*10*在字母表0, 1上,含有3個(gè)1的01串(e) (00|11)*(01|10)(00|11)*(01|10)(00|11)*)*在字母表0, 1上,含有偶數(shù)個(gè)0和偶數(shù)個(gè)1的01串2.4為下列語(yǔ)言寫(xiě)正規(guī)定義 C語(yǔ)言的注釋?zhuān)匆?#160;/*
2、 開(kāi)始和以 */ 結(jié)束的任意字符串,但它的任何前綴(本身除外)不以 */ 結(jié)尾。 解答 other a | b | other指除了*以外C語(yǔ)言中的其它字符 other1 a | b | other1指除了*和/以外C語(yǔ)言中的其它字符 comment
3、160; /* other* (* * other1 other*)* * */ (f) 由偶數(shù)個(gè)0和偶數(shù)個(gè)1構(gòu)成的所有0和1的串。 解答 由題目分析可知,一個(gè)符號(hào)串由0和1組成,則0和1的個(gè)數(shù)只能有四種情況: x 偶數(shù)個(gè)0和偶數(shù)個(gè)1(用狀態(tài)0表示); x 偶數(shù)個(gè)0和奇數(shù)個(gè)1(用狀態(tài)1表示); x 奇數(shù)個(gè)0和偶數(shù)個(gè)1(用狀態(tài)2表示); x 奇數(shù)個(gè)0和奇數(shù)個(gè)1(用狀態(tài)3表示)
4、; 所以, x 狀態(tài)0(偶數(shù)個(gè)0和偶數(shù)個(gè)1)讀入1,則0和1的數(shù)目變?yōu)椋号紨?shù)個(gè)0和奇數(shù)個(gè)1(狀態(tài)1) x 狀態(tài)0(偶數(shù)個(gè)0和偶數(shù)個(gè)1)讀入0,則0和1的數(shù)目變?yōu)椋浩鏀?shù)個(gè)0和偶數(shù)個(gè)1(狀態(tài)2) x 狀態(tài)1(偶數(shù)個(gè)0和奇數(shù)個(gè)1)讀入1,則0和1的數(shù)目變?yōu)椋号紨?shù)個(gè)0和偶數(shù)個(gè)1(狀態(tài)0) x 狀態(tài)1(偶數(shù)個(gè)0和奇數(shù)個(gè)1)讀入0,則0和1的數(shù)目變?yōu)椋浩鏀?shù)個(gè)0和奇數(shù)個(gè)1(狀態(tài)3) x 狀態(tài)2(奇數(shù)個(gè)0和偶數(shù)個(gè)1)讀入1,則0和1的數(shù)目變?yōu)椋浩鏀?shù)個(gè)0和奇數(shù)個(gè)1(狀態(tài)3)x 狀態(tài)2(奇數(shù)個(gè)0
5、和偶數(shù)個(gè)1)讀入0,則0和1的數(shù)目變?yōu)椋号紨?shù)個(gè)0和偶數(shù)個(gè)1(狀態(tài)0) x 狀態(tài)3(奇數(shù)個(gè)0和奇數(shù)個(gè)1)讀入1,則0和1的數(shù)目變?yōu)椋浩鏀?shù)個(gè)0和偶數(shù)個(gè)1(狀態(tài)2) x 狀態(tài)3(奇數(shù)個(gè)0和奇數(shù)個(gè)1)讀入0,則0和1的數(shù)目變?yōu)椋号紨?shù)個(gè)0和奇數(shù)個(gè)1(狀態(tài)1) 因?yàn)椋鬄橛膳紨?shù)個(gè)0和偶數(shù)個(gè)1構(gòu)成的所有0和1的串,故狀態(tài)0既為初始狀態(tài)又為終結(jié)狀態(tài),其狀態(tài)轉(zhuǎn)換圖: 由此可以寫(xiě)出其正規(guī)文法為: S0 1S1 | 0S2 | S1 1S
6、0 | 0S3 | 1 S2 1S3 | 0S0 | 0 S3 1S2 | 0S1在不考慮S0 產(chǎn)生式的情況下,可以將文法變形為: S0 = 1S1 + 0S2 S1 = 1S0 + 0S3 + 1 S2
7、0;= 1S3 + 0S0 + 0 S3 = 1S2 + 0S1 所以: S0 = (00|11) S0 + (01|10) S3 + 11 + 00 (1)
8、0;S3 = (00|11) S3 + (01|10) S0 + 01 + 10 (2) 解(2)式得: S3 = (00|11)* (01|10) S0 + (01|10)
9、0; 代入(1)式得: S0 = (00|11) S0 + (01|10) (00|11)*(01|10) S0 + (01|10) + (00|11) => S0 = (00|11) + (01|10) (00|11)*(01|10)S0 + (01|10) (00|11)*(
10、01|10) + (00|11) => S0 = (00|11)|(01|10) (00|11)*(01|10)*(00|11) + (01|10) (00|11)* (01|10) => S0 = (00|11)|(01|10) (00|11)* (01|10)+ 因?yàn)镾0所以由偶數(shù)個(gè)0和偶數(shù)個(gè)1
11、構(gòu)成的所有0和1的串的正規(guī)定義為: S0 (00|11)|(01|10) (00|11)* (01|10)* (g) 由偶數(shù)個(gè)0和奇數(shù)個(gè)1構(gòu)成的所有0和1的串。 解答 此題目我們可以借鑒上題的結(jié)論來(lái)進(jìn)行處理。 對(duì)于由偶數(shù)個(gè)0和奇數(shù)個(gè)1構(gòu)成的所有0和1的串,我們分情況討論: (1) 若符號(hào)串首字符為0,則剩余字符串必然是奇數(shù)個(gè)0和奇數(shù)個(gè)1,因此我們必須在上題偶數(shù)個(gè)0和偶數(shù)個(gè)1的符號(hào)串基礎(chǔ)上再讀入10(紅色軌跡)或01(藍(lán)色軌跡),又因?yàn)樵?
12、1和13的過(guò)程中可以進(jìn)行多次循環(huán)(紅色虛線軌跡),同理02和23(藍(lán)色虛線軌跡),所以還必須增加符號(hào)串(00|11)*,我們用S0表示偶數(shù)個(gè)0和偶數(shù)個(gè)1,用S表示偶數(shù)個(gè)0和奇數(shù)個(gè)1則其正規(guī)定義為:S 0(00|11)*(01|10) S0 S0 (00|11)|(01|10) (00|11)* (01|10)* (2) 若符號(hào)串首字符為1,則剩余字符串必然是偶數(shù)個(gè)0和偶數(shù)個(gè)1,其正規(guī)定義為: S
13、160;1S0 S0 (00|11)|(01|10) (00|11)* (01|10)* 綜合(1)和(2)可得,偶數(shù)個(gè)0和奇數(shù)個(gè)1構(gòu)成的所有0和1串其正規(guī)定義為: S 0(00|11)*(01|10) S0|1S0 S0 (00|11)|(01|10) (00|11)* (01|10)* 2.7(c) (|a)b*)*01a234567b58sfstarta
14、babbab:s->4->0->1->5->6->7->8->4->0->1->5->6->7->6->7->8->4->0->1->5->6->7->8->f2.12 為下列正規(guī)式構(gòu)造最簡(jiǎn)的DFA (b) (a|b)* a (a|b) (a|b) (1) 根據(jù)算法2.4構(gòu)造該正規(guī)式所對(duì)應(yīng)的NFA,如圖所示。 (2) 根據(jù)算法2.2(子集法)
15、將NFA轉(zhuǎn)換成與之等價(jià)的DFA(確定化過(guò)程) 初始狀態(tài) S0 = -closure(0) = 0, 1, 2, 4, 7 標(biāo)記狀態(tài)S0 S1 = -closure(move(S0, a) = -closure(5, 8) = 1, 2, 4, 5, 6, 7, 8, 9, 11 S2 =
16、-closure(move(S0, b) = -closure(3) = 1, 2, 3, 4, 6, 7 標(biāo)記狀態(tài)S1 S3 = -closure(move(S1, a) = -closure(5, 8, 12) = 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13,
17、 14, 16 S4 = -closure(move(S1, b) = -closure(3, 10) = 1, 2, 4, 5, 6, 7, 10, 13, 14, 16 標(biāo)記狀態(tài)S2 S1 = -closure(move(S2, a) = -closure(5, 8) = 1,
18、60;2, 4, 5, 6, 7, 8, 9, 11 S2 = -closure(move(S2, b) = -closure(3) = 1, 2, 3, 4, 6, 7 標(biāo)記狀態(tài)S3 S5 = -closure(move(S3, a) = -closure(5, 8, 12, 17) =
19、 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 18 S6 = -closure(move(S3, b) = -closure(3, 10, 15) = 1, 2, 4, 5, 6, 7, 10, 13, 14,
20、0;15, 16, 18 標(biāo)記狀態(tài)S4 S7 = -closure(move(S4, a) = -closure(5, 8, 17) = 1, 2, 4, 5, 6, 7, 8, 9, 11, 17, 18 S8 = -closure(move(S4, b) = -closure(3, 15)
21、60;= 1, 2, 3, 4, 6, 7, 15, 18 標(biāo)記狀態(tài)S5 S5 = -closure(move(S5, a) = -closure(5, 8, 12, 17) = 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 1
22、7, 18S6 = -closure(move(S5, b) = -closure(3, 10, 15) = 1, 2, 4, 5, 6, 7, 10, 13, 14, 15, 16, 18 標(biāo)記狀態(tài)S6 S7 = -closure(move(S6, a) = -closure(5, 8, 17)&
23、#160;= 1, 2, 4, 5, 6, 7, 8, 9, 11, 17, 18 S8 = -closure(move(S6, b) = -closure(3, 15) = 1, 2, 3, 4, 6, 7, 15, 18 標(biāo)記狀態(tài)S7 S3 = -closure(move(S7,
24、60;a) = -closure(5, 8, 12) = 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16 S4 = -closure(move(S7, b) = -closure(3, 10) = 1, 2, 4, 5, 6, 7,
25、;10, 13, 14, 16 標(biāo)記狀態(tài)S8 S1 = -closure(move(S8, a) = -closure(5, 8) = 1, 2, 4, 5, 6, 7, 8, 9, 11 S2 = -closure(move(S8, b) = -closure(3) = 1, 2, 3,
26、 4, 6, 7 由以上可知,確定化后的DFA的狀態(tài)集合S = S0, S1, S2, S3, S4, S5, S6, S7, S8,輸入符號(hào)集合 = a, b,狀態(tài)轉(zhuǎn)換函數(shù)move如上,S0為開(kāi)始狀態(tài),接收狀態(tài)集合F = S5, S6, S7, S8,其狀態(tài)轉(zhuǎn)換圖如下所示:(3) 根據(jù)算法2.3過(guò)將DFA最小化 第一次劃分:S0,&
27、#160;S1, S2, S3, S4 S5, S6, S7, S8 S0, S1, S2, S3, S4a = S1, S3, S1, S5, S7 第二次劃分:S0, S1, S2 S3, S4 S5, S6, S7,
28、;S8 S0, S1, S2a = S1, S3, S1 第三次劃分:S0, S2 S1 S3, S4 S5, S6, S7, S8 S0, S2a = S1 S0, S2b = S2 S0, S2不可區(qū)分,
29、即等價(jià)。S5, S6, S7, S8a = S5, S7, S3, S1 第四次劃分:S0, S2 S1 S3, S4 S5, S6 S7, S8 S3, S4a = S5, S7 第五次劃分:S0, S2
30、; S1 S3 S4 S5, S6 S7, S8 S5, S6a = S5, S7 第六次劃分:S0, S2 S1 S3 S4 S5 S6 S7, S8 S7, S8a = S3, S1第七次
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 臨時(shí)工聘用合同協(xié)議
- 人力資源兼職獵頭合同協(xié)議
- 兼職合同協(xié)議
- 產(chǎn)學(xué)研一體化項(xiàng)目合作協(xié)議合同
- 產(chǎn)品銷(xiāo)售合同授權(quán)書(shū)范本
- 中外技術(shù)服務(wù)合同格式規(guī)范
- 個(gè)人與單位食堂合作合同
- 人力資源合同管理標(biāo)準(zhǔn)模板
- 事業(yè)單位保密合同范本
- 個(gè)人貸款合同范本及詳解
- 工程建設(shè)行業(yè)標(biāo)準(zhǔn)內(nèi)置保溫現(xiàn)澆混凝土復(fù)合剪力墻技術(shù)規(guī)程
- 液壓動(dòng)力元件-柱塞泵課件講解
- 人教版五年級(jí)上冊(cè)數(shù)學(xué)脫式計(jì)算100題及答案
- 屋面細(xì)石混凝土保護(hù)層施工方案及方法
- 2024年1月山西省高三年級(jí)適應(yīng)性調(diào)研測(cè)試(一模)理科綜合試卷(含答案)
- 110kv各類(lèi)型變壓器的計(jì)算單
- 雙減政策之下老師如何打造高效課堂
- 5A+Chapter+1+Changes+at+home+課件(新思維小學(xué)英語(yǔ))
- 安徽省2023年中考數(shù)學(xué)試卷(附答案)
- 護(hù)工(陪護(hù))培訓(xùn)教材(完整版)資料
- 機(jī)械加工生產(chǎn)計(jì)劃排程表
評(píng)論
0/150
提交評(píng)論