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) 中。 (3)如果 X ->ε是一个产生式,那么将ε加入到 FIRST(X)中。