用眼睛看就可以
First Set:
表示一個Nonterminal Production執行后的第一個Terminal字符是多少。比如S的production可以為AB，A又可以變成aA, 所以a就是first set(S)
但是還有別的東西。其中最重要的一個rule是假設S=AB，A可以變成eplison的話，那么B里的首字符會納入S first set.
Follow Set:
就是一個Non-terminal 之后Follow的第一個字母。
比如說B->XSb ?S之后緊跟了一個b, 所以b可以成為Follow(S)
這里最重要的Rules:
1. 一開始S initialize with a {$}
2. 如果一個S->AB, 那么Follow(B) 會把Follow(S) 納入。 因為S 等同于AB, 所以S的follow等同于AB的follow 等同于B的follow。
得到First Set/Follow Set以后我們才能建造LL(1)的Table。
這個Table表示在處理LL(1) parsing的時候，如果當前Non-Terminal是S, lookahead token=int ?我們采取什么Production. 這樣可以避免backtrack
填這個表的公式：
For each production ? A-> p in grammars do:
? ? ?for each terminal b belongs to First(p) do:
? ? ? ? ? ? ?T[A, b] = p
? ? ?if ?eplison belongs to First[p], for each b belongs to Follow[A] do:
? ? ? ? ? ? T[A, b] = p
Idea：如果看到在一個Non-terminal S, 看到下一個Terminal前看符號是int
找到以Int開頭的那個Production 放入格子里。
如果某個Production 的First set里包含一個空的話， 我們從當前Non-Terminal的S的Follow里找terminal。
Column . ; 那里之所以有eplison在那是因為Follow(s) 包含了. ; ?
