




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、上下文無關(guān)語言(CFL)的判定問題 1問題描述上下文無關(guān)文法(Context-Free Grammar, CFG)是一個4元組G=(V, T, S, P),其中,V和T是不相交的有限集,SV,P是一組有限的產(chǎn)生式規(guī)則集,形如A,其中AV,且(VT)*。V的元素稱為非終結(jié)符,T的元素稱為終結(jié)符,S是一個特殊的非終結(jié)符,稱為文法開始符。 設(shè)G=(V, T, S, P)是一個CFG,則G產(chǎn)生的語言是所有可由G產(chǎn)生的字符串組成的集合,即L(G)=xT* | Sx。一個語言L是上下文無關(guān)語言(Context-Free Language, CFL),當(dāng)且僅當(dāng)存在一個CFG G,使得L=L(G)。 *例如,
2、設(shè)文法G:SAB AaA|a BbB|b 則L(G)=anbm | n,m=1 其中非終結(jié)符都是大寫字母,開始符都是S,終結(jié)符都是小寫字母。 2編程任務(wù): 給定一個上下文無關(guān)文法的n條產(chǎn)生式規(guī)則,編程判斷該文法對應(yīng)的語言是否為空。若為空,則輸出yes,否則輸出no。 數(shù)據(jù)輸入: 由文件input.txt提供輸入數(shù)據(jù)。文件的第1行是規(guī)則數(shù)n。接下來n行是具體的規(guī)則,每行的開始是規(guī)則的左邊,接著是規(guī)則的右邊,中間用空格隔開。結(jié)果輸出: 將判定結(jié)果輸出到文件output.txt中。 3算法思想題目理解:判斷一個非終結(jié)符是否能轉(zhuǎn)化為終結(jié)符也就是一個大寫字母能否用小寫字母來表示。那判斷該文法對應(yīng)的語言是
3、否為空,也就是判斷S是否能用一連串的小寫字母來表示。掃描思想:從第一個規(guī)則式到最后一個規(guī)則式進(jìn)行一次全掃描:如果發(fā)現(xiàn)S還不能轉(zhuǎn)化為小寫字符且至少有一個新的其他大寫字母能轉(zhuǎn)化為小寫字母,則又開始進(jìn)行一次全掃描;如果發(fā)現(xiàn)S能轉(zhuǎn)化為小寫字母,則跳出程序,輸出no;如果發(fā)現(xiàn)沒有新的大寫字母可以化為小寫字母且S目前也沒辦法化為小寫字母,則跳出程序,輸出yes。4算法總流程從上往做全掃描,最多也只能做26次第一個規(guī)則 最后一個規(guī)則5數(shù)據(jù)結(jié)構(gòu)動態(tài)生成一維數(shù)組 char *left=new char n+1; 存儲規(guī)則式左邊的非終結(jié)符號動態(tài)生成二維數(shù)組char* right=new char* n+1;存儲規(guī)
4、則式右邊的一串字符設(shè)置一個固定一維數(shù)組 short int flag26;標(biāo)志對應(yīng)的非終結(jié)符是否可化為終結(jié)符 如果值為1 表示該非終結(jié)符在這些規(guī)則下可以轉(zhuǎn)化為終結(jié) 符,如果值為0 表示不可以最終轉(zhuǎn)化為終結(jié)符6一條規(guī)則的判斷流程Left right flag A B - Z(1)、數(shù)組left取出該規(guī)則的左部大寫字母,接著到flag數(shù)組中查看該字母是否可以化為非終結(jié)符??梢缘脑?,則跳出,對下一條規(guī)則進(jìn)行判斷,如果不可以的則繼續(xù)往下執(zhí)行(2)、從判斷right中的第一個字母開始: 如果是小寫字母的話,判斷下一個字母;如果該字母是大寫的話,則去flag數(shù)組中查看該字母目前是否可以轉(zhuǎn)化為非終結(jié)符號,如
5、果可以的話,判斷下一個字母 不可以的話, 跳出該循環(huán)判斷過程。(3)、判斷目前指針指向的是否為空,如果為空的話,說明該規(guī)則left對應(yīng)的大寫字母能夠轉(zhuǎn)化為小寫字母來表示,則把該字母在數(shù)組flag中對應(yīng)的值改為1。如果不為空,則表示該字母目前還沒辦法轉(zhuǎn)化為小寫字母來表示,所以繼續(xù)判斷下一條規(guī)則。7具體的一個例子 SAB AaB A cB BbB Bb第一次從上往全部掃描結(jié)束后,發(fā)現(xiàn)B終結(jié)符可以轉(zhuǎn)化為非終結(jié)符,則:flag1=1 而S對應(yīng)的flag18=0,而且出現(xiàn)一個新的非終結(jié)符B 可以轉(zhuǎn)化為終結(jié)符,所以從頭進(jìn)行第三次全掃描。第二次從上往全部掃描結(jié)束后,發(fā)現(xiàn)A終結(jié)符可以轉(zhuǎn)化為非終結(jié)符,則:flag0=1 而S對應(yīng)的flag18=0,而且出現(xiàn)一個新的非終結(jié)符A
溫馨提示
- 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)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 邵陽市重點(diǎn)中學(xué)2024-2025學(xué)年初三5月畢業(yè)班模擬考試數(shù)學(xué)試題含解析
- 江蘇省鹽城市響水實(shí)驗、一中學(xué)2025屆初三下學(xué)期零診模擬生物試題含解析
- 廊坊衛(wèi)生職業(yè)學(xué)院《成衣制作工藝》2023-2024學(xué)年第二學(xué)期期末試卷
- 江西師范大學(xué)科學(xué)技術(shù)學(xué)院《prote軟件設(shè)計》2023-2024學(xué)年第二學(xué)期期末試卷
- 延壽縣2025屆數(shù)學(xué)四年級第二學(xué)期期末質(zhì)量檢測模擬試題含解析
- 天府新區(qū)航空旅游職業(yè)學(xué)院《歐美設(shè)計規(guī)范釋義一雙語》2023-2024學(xué)年第二學(xué)期期末試卷
- 天津石油職業(yè)技術(shù)學(xué)院《珠寶專業(yè)英語》2023-2024學(xué)年第二學(xué)期期末試卷
- 塔里木職業(yè)技術(shù)學(xué)院《測井資料解釋課程設(shè)計》2023-2024學(xué)年第一學(xué)期期末試卷
- 遼寧稅務(wù)高等??茖W(xué)校《影像診斷學(xué)》2023-2024學(xué)年第二學(xué)期期末試卷
- 文山壯族苗族自治州馬關(guān)縣2024-2025學(xué)年數(shù)學(xué)三下期末綜合測試模擬試題含解析
- 美國學(xué)生閱讀技能訓(xùn)練
- 網(wǎng)絡(luò)安全服務(wù)項目服務(wù)質(zhì)量保障措施(實(shí)施方案)
- 生產(chǎn)加工型小微企業(yè)安全管理考試(含答案)
- 青少年科技創(chuàng)新比賽深度分析
- 世界近代武器革新圖鑒(1722-1900)英國篇
- 安標(biāo)受控件采購管理制度
- 亞低溫的治療與護(hù)理
- 危險化學(xué)品企業(yè)設(shè)備完整性 第2部分 技術(shù)實(shí)施指南 編制說明
- 防高墜自查自糾臺賬
- GB/T 4437.1-2023鋁及鋁合金熱擠壓管第1部分:無縫圓管
- 市政工程消耗量定額 zya1-31-2015
評論
0/150
提交評論