5.2.1 LL(1) 文法的定义 　　一个文法符号串的开始符号集合定义如下： 定义5.1 设G=(VT，VN，S，P)是上下文无关文法 　　FIRST(α)={a|αaβ,a∈VT，α,β∈V*} 　　若αε,则规定ε∈FIRST(α)． 　　不难求出在例5.2文法G2中 　　FIRST(Ap)={a,c} 　　FIRST(Bq)={b,d} 　　因此有 FIRST(α)∩(FIRST(β)= 　　这样文法G2中，关于S的两个产生式的右部虽然都以非终结符开始，但它们右部的符号串可能推导出的首符号集合不相交，因而可以根据当前的输入符号是属于哪个产生式右部的首符号集合而决定选择相应产生式进行推导，因此仍能构造确定的自顶向下分析。