龙书上的定义:
FIRST
如果x是一个终结符,则FIRST(X) = X
如果x是一个非终结符,则 X → Y 1 Y 2 Y 3 ⋯ Y k X\rightarrow Y_1Y_2Y_3\cdots Y_k X→Y1Y2Y3⋯Yk,其中 k ≥ 1 k\ge1 k≥1。
∃ i ∈ k , a ∈ F I R S T ( Y i ) 且 F I R S T ( Y 1 ) ⋯ F I R S T ( Y i − 1 ) \exists i \in k,a\in FIRST(Y_i)且FIRST(Y_1)\cdots FIRST(Y_{i-1}) ∃i∈k,a∈FIRST(Yi)且FIRST(Y1)⋯FIRST(Yi−1