語法依循說明

Question

我在看下面這個簡單的語法和與之配套的表：

S-> aSbT | epsilon 
T-> bFaF | epsilon 
F-> epsilon 

nonterminal first set follow set 
S   a   b          
T   b   b 
F   ∅   a b 

可能有人請解釋爲什麼B，但不是一個，是在後續集合T的？

Answer 1

就拿如何第一，並按照集合計算一個很好的解釋一下here。

爲後續集的第三個規則適用於當你計算如下（T）（因爲T是隻出現在第一生產和之後沒有如下）。然後你會把Follow（S）中的所有內容放在Follow（T）中。

關注（S）= {B}，然後按照（T）= {B}。

我認爲在後續（S）也應該是$（或ε）如果S是你的語法的開始符號。