編譯原理實驗LL1文法的判斷及轉換

1、2016.11.30LL(1)文法的判斷及轉換目錄一、實驗名稱2二、實驗目的2三、實驗原理21、First集定義22、Follow集定義23、Select集定義34、含左遞歸文法3四、實驗思路31、求非終結符是否能導出空32、求First集算法33、求Follow集算法34、求Select集算法4五、實驗小結4六、附件41、源代碼42、運行結果截圖10一、實驗名稱LL(1)文法的判斷及轉換二、實驗目的輸入：任意一個文法輸出：(1)是否為LL(1)文法 (2)若是，給出每條產生式的select集 (3)若不是，看看是否含有左公共因子或者含有左遞歸，并用相應的方法將非LL(1)文法變成LL(1)文

2、法，并輸出新文法中每條產生式的select集。三、實驗原理1、First集定義令X為一個文法符號（終止符或非終止符）或，則集合First（X）有終止符組成，此外可能還有，它的定義如下： 1.若X是終止符或，則First（X）=X。 2.若X是非終結符，則對于每個產生式XX1X2Xn，F(xiàn)irst（X）包含了First（X1）-。 若對于某個iA，則First（）- 在Follow（A）中。3. 若存在產生式BA，且在First（）中，則Follow（A）包括Follow（B）。3、Select集定義對于產生式A。集合select（A）定義如下：1. 若不能推出，則select（A） = firs

3、t（）。2. 若能推出，則select（A）= first（） follow(A)。4、含左遞歸文法一個文法G，若存在P經過一次或多次推導得到Pa（即能推導出以P開頭的式子）， 則稱G是左遞歸的。 左遞歸分為直接左遞歸和間接左遞歸。 直接左遞歸經過一次推導就可以看出文法存在左遞歸，如PPab。 間接左遞歸側需多次推導才可以看出文法存在左遞歸，如文法：SQcc，QRbb，RSaa有S =Qc =Rbc =Sabc四、實驗思路本次實驗采用python完成。1、求非終結符是否能導出空a. 第一輪掃描。當前的產生式還沒被刪除，非終結符lp可以導出空，將以該非終結符為左部的產生式標記為要刪除的。產生式右

4、部分解，若該產生式右部包含終結符，刪除該產生式因為由它不會導出空。判斷沒有被刪除的產生式中是否還有以該非終結符為左部的產生式。b. 第二輪掃描。逐一掃描每一條產生右部的每一個符號，循化直至每個非終結符的狀態(tài)都確定下來。2、求First集算法存儲每一個非終結符對應的First集，掃描每一條產生式，記錄每一輪掃描是每個非終結符First集是否增大過。全部初始化為沒有增大的狀態(tài)，對于課本的五種類型依次求解，每次將結果加入對應的集合中，若一次掃描First集沒有增大，則說明循環(huán)結束。3、求Follow集算法存儲每一個非終結符對應的Follow集，將#加入文法的開始符號的Follow集合中，記錄每一輪掃

5、描是每個非終結符Follow集合是否增大過，全部初始化為沒有增大的狀態(tài)，掃描每一條產生式的右部，掃描到非終結符,判斷在該非終結符之后的子串能否推導空，若該符號串可以推導出空,還要將Follow(lp)加入到里面。4、求Select集算法初始化每條產生式對應的Select集合為空，若產生式右部不能推導出空，則將右部的First集加入Select集，如果可以推出空，則需要同時將左部的Follow集合右部的First集去掉空的部分加入Select集。五、實驗小結通過本次實驗，知道了如何判斷一個文法是不是LL（1）文法，同時對于First、Follow以及Select集的求解原理變得更加熟悉，并且知道

6、了如何用計算機語言求解First，F(xiàn)ollow以及Select集。不足之處是，沒有完成判斷文法是否為左遞歸文法以及左遞歸文法的轉換部分。六、附件1、源代碼class Gw: def _init_(self): 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 =

7、 self.right = for i in range(3,len(content): duce.append(contenti) self.left.append(contenti.split(-)0) self.right.append(contenti.split(-)1) def showGw(self): print(非終結符:,self.Vn) print(終 結 符:,self.Vt) print(開始符號:,self.start) print(產生式如下:) for l,r in zip(self.left,self.right): print(l+-+r)

8、def canEmpty(self): self.isEmpty = dict() for i in range(len(self.Vn): self.isEmptyself.Vni = -1 print(self.isEmpty) temp = duce: deleteIndex= pointer = 0 while pointer)0 rp = temppointer.split(-)1 if rp=!: self.isEmptylp = 1 for i in range(len(temp): if tempi.split(-)0=lp and i not in delet

9、eIndex: deleteIndex.append(i) l = list(rp) isContainVt = i in self.Vt for i in l if True in isContainVt: deleteIndex.append(pointer) for k in range(len(temp): if k not in deleteIndex: if tempk.split(-)0=lp: break else: self.isEmptylp = 0 pointer = pointer+1 while -1 in self.isEmpty.values(): for i i

10、n range(len(temp): if i not in deleteIndex: lp = tempi.split(-)0 rp = tempi.split(-)1 rlsit = list(rp) for j in range(len(rlsit): if self.isEmptyrlsitj=1: if j=len(rlsit)-1: self.isEmptylp=1 elif self.isEmptyrlsitj=0: deleteIndex.append(i) for k in range(len(temp): if k not in deleteIndex: if tempk.

11、split(-)0=lp: break else: self.isEmptylp = 0 else: continue def show(self): print(非終結符能否推導出空的信息:) for v in self.Vn: if self.isEmptyv=1: yon = 是 else: yon = 否 print(%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

12、.Vn: isChangek = 0 for i in range(len(duce): lp = ducei.split(-)0 rp = ducei.split(-)1 rlist = list(rp) if rlist0=! or rlist0 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

13、 = len(self.Firstlp) templist = self.Firstj: if ! in templist: templist.remove(!) for x in templist: if x not in self.Firstlp: self.Firstlp.append(x) if rp.endswith(j) and ! not in self.Firstlp: self.Firstlp.append(!) newsize = len(self.Firstlp) if oldsize!=newsize: isChangelp=1 else: oldsize = len(

14、self.Firstlp) if j in self.Vn: templist = self.Firstj: for x in templist: if x not in self.Firstlp: self.Firstlp.append(x) else: if j not in self.Firstlp: self.Firstlp.append(x) newsize = len(self.Firstlp) if oldsize!=newsize: isChangelp=1 break if 1 not in isChange.values(): print(First集合不在增大!) bre

15、ak else: print(First集合有增大!) pass def showFirst(self): print(First集合信息:) for v in self.Vn: print(v,self.Firstv) def canCauseEmpty(self,plist): first = list() if len(plist)=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:

16、 if k not in first: 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) break else: if i not in first: first.append(i) break return first def getFollow(self): self.Follow = dict() for i in self.Vn: self.Follow

17、i = 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.split(-)1 rlist = list(rp) for j in range(len(rlist): if rlistj in self.Vn: reslist = self.canCauseEmpty(rlistj+1

18、:) if ! in reslist: oldsize = len(self.Followrlistj) for y in self.Followlp: if y not in self.Followrlistj: self.Followrlistj.append(y) newsize = len(self.Followrlistj) if oldsize!=newsize: isChangerlistj = 1 else: pass oldsize = len(self.Followrlistj) for x in reslist: if x!=! and x not in self.Fol

19、lowrlistj: self.Followrlistj.append(x) newsize = len(self.Followrlistj) if oldsize!=newsize: isChangerlistj = 1 if 1 not in isChange.values(): break def showFollow(self): print(Follow集合信息:) for key in self.Vn: print(key,self.Followkey) def getSelect(self): self.Select = dict() for i in duce:

20、 self.Selecti = list() for i in range(len(duce): lp = ducei.split(-)0 rp = ducei.split(-)1 rlist = list(rp) if rlist0=!: for v in self.Followlp: if v not in self.Sducei: self.Sducei.append(v) elif rlist0 in self.Vt: self.Sducei.append(rl

21、ist0) 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.Sducei.append(v) for v in self.Followlp: if v not in self.Selectself.