定义：

FIRST(α)：α的开始符号集或首符号集。

FOLLOW(A)：{a|...Aa...,a∈V_T}。

SELECT(A->α)：若α不能推出ε，则SELECT(A->α)=FIRST(α)，否则SELECT(A->α)=(FIRST(α)-{ε})∪FOLLOW(A)。

语法分析备忘