Пусть G=(Σ,Γ,P,S) - грамматика. Тогда Если a∈Σ, то FIRST(a)={a} Если A∈Γ, то FIRST(A)=A→β⋃FIRST(β),β∈(Γ∪Σ)∗ Xi∈(Γ∪Σ),i=1,…,n