parsing - 文法フォローセットの説明

Question

次の簡単な文法とそれに付随する表を見ています。

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

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

誰かが、aではなくbが次のTのセットに含まれている理由を説明できますか？

Answer 1

最初と次のセットがどのように計算されるかについての良い説明については、ここを見てください。

フォローセットの3番目のルールは、Follow（T）を計算するときに適用されます（Tは最初のプロダクションにのみ表示され、その後は何も続かないため）。次に、Follow（S）からFollow（T）にすべてを配置します。

Follow（S）= {b}、次にFollow（T）={b}。

Sが文法の開始記号である場合、Follow（S）でも$（またはイプシロン）である必要があると思います。