FIRST集合 定义 可从α推导得到的串的首符号的集合，其中α是任意的文法符号串。 规则 计算文法符号 X 的 FIRST(X)，不断运用以下规则直到没有新终结符号或 ε可以被加入为止 ： （1）如果 X 是一个终结符号，那么 FIRST(X) = X。 （2）如果 X 是一个非终结符号，且 X ->Y1 Y2 … Yk是一个产生式，其中 k≥1，那么如果对于某个i，a在 FIRST(Y1）、FIRST(Y2）… FIRST(Yi-1）中，就把a加入到 FIRST(X) 中。 （