Follow集合

Follow 集合的定義:給出一個非終結符A ,那么集合 Follow (A)則是由終結符組成,此外可能還有#。

集合 Follow (A) 的定義如下:

(1)若 A 是開始符號,則#就在 Follow (A) 中。

(2)若存在產生式B →aAg ,則First (g) - {ε }在 Follow (A) 中。

(3)若存在產生式B →aAg ,且ε在 First (g) 中,則 Follow (A)包括 Follow (B)。

首先檢查這個定義的內容,之後為由此引出的 Follow 集合的計算寫出算法。讀者首先應注意到用作標記輸入結束的“ #”,它就像是 Foll ow 集合計算中的一個記號。若沒有它,那么在整個被匹配的串之後就沒有符號了。由於這樣的串是由文法的開始符號生成的,所以#必須總是要增加到開始符號的 Follow 集合中。

相關詞條

相關搜尋

熱門詞條

聯絡我們