

下載本文檔
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、2016.11.30LL(1 文法的判斷及轉(zhuǎn)換1目錄一、實驗名稱 .2二、實驗?zāi)康?.2三、實驗原理 .21、First集定義 .22、Follow集定義 .23、Select集定義 .34、含左遞歸文法 .3四、實驗思路 .31、求非終結(jié)符是否能導(dǎo)出空 .32、求First集算法 .33、求Follow集算法 .34、求Select集算法 .4五、實驗小結(jié) .4六、附件 .41、源代碼 .42、運行結(jié)果截圖 .102、實驗名稱LL(1 文法的判斷及轉(zhuǎn)換二、 實驗?zāi)康妮斎耄喝我庖粋€文法輸出:(1)是否為 LL(1)文法(2) 若是,給出每條產(chǎn)生式的 select 集(3) 若不是, 看看是否含
2、有左公共因子或者含有左遞歸, 并用相應(yīng)的方 法將非 LL(1 文法變成 LL(1 文法,并輸出新文法中每條產(chǎn)生式的 select 集。三、 實驗原理1、First集定義令 X 為一個文法符號(終止符或非終止符)或,則集合First (X)有終止符組成,此外可能還有&,它的定義如下:1. 若 X 是終止符或&,則 First (X) =X。2. 若 X是非終結(jié)符, 則對于每個產(chǎn)生式 X X1X2Xn, First (X)包含了 First (X1)- 。若對于某個 iaAY,貝 U First (丫)- 在 Follow (A)中。3. 若存在產(chǎn)生式 B aAY,且&在
3、First ( 丫)中,貝 U Follow (A)包括 FollowB)3、Select集定義3對于產(chǎn)生式 A a。集合 select (A a)定義如下:1.若a不能推出&,則 select (A a)= first (a)2.若a能推出 則 select(Aa)= first(a)Ufollow(A)。4、 含左遞歸文法一個文法 G,若存在 P 經(jīng)過一次或多次推導(dǎo)得到 Pa (即能推導(dǎo)出以 P 開頭的 式子),則稱 G 是左遞歸的。左遞歸分為直接左遞歸和間接左遞歸。直接左遞歸經(jīng)過一次推導(dǎo)就可以看出文法存在左遞歸,如i Pa| b。間接左遞歸側(cè)需多次推導(dǎo)才可以看出文法存在左遞歸,如
4、文法:STQc I c,Q Rb | b,RTSa I a 有 S =Qc =Rbc =Sabc四、實驗思路本次實驗采用 python 完成。1、 求非終結(jié)符是否能導(dǎo)出空a. 第一輪掃描。當前的產(chǎn)生式還沒被刪除,非終結(jié)符 lp 可以導(dǎo)出空,將以 該非終結(jié)符為左部的產(chǎn)生式標記為要刪除的。 產(chǎn)生式右部分解, 若該產(chǎn)生式右部 包含終結(jié)符, 刪除該產(chǎn)生式因為由它不會導(dǎo)出空。 判斷沒有被刪除的產(chǎn)生式中是 否還有以該非終結(jié)符為左部的產(chǎn)生式。b. 第二輪掃描。 逐一掃描每一條產(chǎn)生右部的每一個符號, 循化直至每個非終 結(jié)符的狀態(tài)都確定下來。2、 求First集算法存儲每一個非終結(jié)符對應(yīng)的 First 集,掃描
5、每一條產(chǎn)生式,記錄每一輪掃描是 每個非終結(jié)符 First 集是否增大過。全部初始化為沒有增大的狀態(tài),對于課本的 五種類型依次求解,每次將結(jié)果加入對應(yīng)的集合中,若一次掃描First 集沒有增大,則說明循環(huán)結(jié)束。3、求Follow集算法存儲每一個非終結(jié)符對應(yīng)的 Follow 集,將#加入文法的開始符號的 Follow 集4合中,記錄每一輪掃描是每個非終結(jié)符 Follow 集合是否增大過,全部初始化為 沒有增大的狀態(tài),掃描每一條產(chǎn)生式的右部,掃描到非終結(jié)符,判斷在該非終結(jié)符之后的子串能否推導(dǎo)空,若該符號串可以推導(dǎo)出空,還要將 Follow(lp)加入到里面。4、求Select集算法初始化每條產(chǎn)生式對
6、應(yīng)的 Select 集合為空,若產(chǎn)生式右部不能推導(dǎo)出空,貝 U 將右部的 First 集加入 Select 集,如果可以推出空,則需要同時將左部的Follow集合右部的 First 集去掉空的部分加入 Select 集。五、 實驗小結(jié)通過本次實驗,知道了如何判斷一個文法是不是 L(L 1)文法,同時對于 First、Follow 以及 Select 集的求解原理變得更加熟悉,并且知道了如何用計算機語言求 解First,F(xiàn)ollow 以及 Select 集。不足之處是,沒有完成判斷文法是否為左遞歸文 法以及左遞歸文法的轉(zhuǎn)換部分。六、 附件1、源代碼class Gw: def _init_(sel
7、f): with open(Gw.txt) as f: content = f.readlines() content =line.strip() for line in content self.Vn = content0.split( ) self.Vt = content1.split( )self.start = content2 duce = self.left = self.right = for i in range(3,len(content): duce.append(contenti)self.left.append(contenti.spl
8、it(-)0)self.right.append(contenti.split( -)1)def showGw(self):print(非終結(jié)符:,self.Vn)print(終 結(jié) 符::self.Vt)print(開始符號:,self.start)print(產(chǎn)生式如下:)for l,r in zip(self.left,self.right):print(l+-+r)5def canEmpty(self):self.isEmpty = dict()for i in range(len(self.Vn):self.isEmptyself.Vni =-1 print(self.isEmpty
9、) temp = duce:deleteIndex= pointer = 0 while pointer)0rp = temppointer.split( -)1if rp=!:self.isEmptylp = 1for i in range(len(temp):if tempi.split(-)0=lp and i not in deleteIndex:deleteIndex.append(i)l = list(rp)isContainVt = i in self.Vt for i in lif True in isContainVt:deleteIndex.append(p
10、ointer)for k in range(len(temp):if k not in deleteIndex:if tempk . s p l i t ( - )0=l p :breakelse:self.isEmptylp = 0pointer = pointer+1while -1 in self.isEmpty.values():for i in range(len(temp):if i not in deleteIndex:lp = tempi.split(-)0rp = tempi.split(-)1rlsit = list(rp)for j in range(len(rlsit)
11、:if self.isEmptyrlsitj=1:if j=len(rlsit)-1: self.isEmptylp=1elif self.isEmptyrlsitj=0: deleteIndex.append(i) for kin range(len(temp): if k not in deleteIndex:if tempk.split( -)0=lp: breakelse: self.isEmptylp = 0else: continue def show(self):print( 非終結(jié)符能否推導(dǎo)出空的信息 :)for v in self.Vn:if self.isEmptyv=1:
12、yon = 是 else:yon = 否 6print(%s:%s%(v,yon)def getFirst(self):self.First = dict()for i in self.Vn:self.Firsti = list()isChange = dict()while True:for k in self.Vn: isChangek = 0for i in range(len(duce):lp = ducei.split(-)0rp = ducei.split(-)1rlist = list(rp)if rlist0=! or rlist
13、0 in self.Vt:if rlist0 not in self.Firstlp: self.Firstlp.append(rlist0)isChangelp=1 else:for j in rlist:if j in self.Vn:if self.isEmptyj=1: oldsize = len(self.Firstlp)templist = self.Firstj: if ! in templist:templist.remove(!) for x in templist: if x not inself.Firstlp: self.Firstlp.append(x)if rp.e
14、ndswith(j) and ! not in self.Firstlp:self.Firstlp.append(!)newsize = len(self.Firstlp)if oldsize!=newsize: isChangelp=1 else:oldsize = len(self.Firstlp)if j in self.Vn:templist = self.Firstj: for x in templist: ifx not in self.Firstlp: self.Firstlp.append(x)else:if j not in self.Firstlp:self.Firstlp
15、.append(x) newsize =len(self.Firstlp) if oldsize!=newsize:isChangelp=1 breakif 1 not in isChange.values(): print(First 集合不在增大 !) breakelse: print(First 集合有增大 !) passdef showFirst(self):print(First 集合信息 :)for v in self.Vn:print(v,self.Firstv)def canCauseEmpty(self,plist):7first = list()if len(plist)=
16、0:first.append(!)else:for i in plist:if i in self.Vn:if self.isEmptyi=1:t = self.Firsti: if ! in t: t.remove(!) for k in t: if k not infirst: first.append(k)if .join(plist).endswith(i) and ! not in first: first.append(!)else:for k in self.Firsti: if k not in first: first.append(k) breakelse: if i no
17、t in first: first.append(i) break return firstdef getFollow(self):self.Follow = dict()for i in self.Vn: self.Followi = list() self.Followself.start.append(#)isChange = dict() while True:for k in self.Vn: isChangek = 0 for i in range(len(duce): lp =ducei.split(-)0 rp = ducei.s
18、plit(-)1 rlist = list(rp)for j in range(len(rlist): if rlistj in self.Vn:reslist = self.canCauseEmpty(rlistj+1:) if ! in reslist:oldsize = len(self.Followrlistj) for y inself.Followlp: if y not in self.Followrlistj:self.Followrlistj.append(y) newsize =len(self.Followrlistj) if oldsize!=newsize:isCha
19、ngerlistj = 1else:passoldsize = len(self.Followrlistj) for x in reslist:if x!=! and x not in self.Followrlistj:self.Followrlistj.append(x) newsize =len(self.Followrlistj) if oldsize!=newsize:isChangerlistj = 1if 1 not in isChange.values():breakdef showFollow(self):print(Follow 集合信息 :)for key in self
20、.Vn:print(key,self.Followkey)def getSelect(self):self.Select = dict()8for i in duce:self.Selecti = list()for i in range(len(duce):lp = ducei.split(-)0rp = ducei.split(-)1rlist = list(rp)if rlist0=!:for v in self.Followlp:if v not in self.Sducei:self.Selec
21、ducei.append(v) elif rlist0 in self.Vt:self.Sducei.append(rlist0) else:res = self.canCauseEmpty(rlist)if ! not in res:for v in res:if v not in self.Sducei:self.Sducei.append(v) else:for v in res:if v not in self.Sducei and v!=!:self.Select
22、ducei.append(v) for v in self.Followlp:if v not in self.Sducei:self.Sducei.append(v)def showSelect(self): print(Select 集合信息 :) for key in duce:print(key,self.Selectkey)def isLLone(self):isright = for k in self.Vn: tset = set() tset.add(#) tset = tset | set(self.Vt) for l,r inzip(self.left,self.right): if k=l:
溫馨提示
- 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)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年叔丁基苯酚項目發(fā)展計劃
- 2025年試驗機械相關(guān)檢測儀器項目合作計劃書
- 健康飲食產(chǎn)業(yè)園項目實施方案
- 2025年DCA-1皮革固色劑項目建議書
- xx河流排水防澇設(shè)施建設(shè)項目建議書(參考范文)
- 2025年糖、加工糖及制糖副產(chǎn)品項目發(fā)展計劃
- 2025年鋯合金管材項目建議書
- 2025年稀有金屬及稀土金屬材料合作協(xié)議書
- 2025年城市污水處理廠智能化升級改造對智能化控制系統(tǒng)的影響報告
- 工業(yè)互聯(lián)網(wǎng)平臺數(shù)據(jù)備份與恢復(fù)策略在2025年智能證券分析領(lǐng)域的應(yīng)用研究報告
- 2025年中國郵政集團有限公司遼寧省分公司校園招聘筆試備考試題及完整答案詳解1套
- 多災(zāi)種耦合應(yīng)對-洞察及研究
- 朗讀協(xié)會工作報告
- T/CERDS 1-2021企業(yè)高質(zhì)量發(fā)展評價指標
- 2025農(nóng)發(fā)銀行筆試題庫及答案
- 湖北省黃岡市黃梅實驗中學(xué)2025屆數(shù)學(xué)八下期末統(tǒng)考試題含解析
- 2025屆上海市閔行區(qū)七下數(shù)學(xué)期末學(xué)業(yè)水平測試模擬試題含解析
- GB/T 18487.4-2025電動汽車傳導(dǎo)充放電系統(tǒng)第4部分:車輛對外放電要求
- 《成人慢性腎臟病食養(yǎng)指南(2024年版)》解讀
- 離婚不離家協(xié)議書
- 社區(qū)干事考試試題及答案
評論
0/150
提交評論