ll1文法等價條件

如果α、β均不能推導出ε,則FIRST(α)∩FIRST(β)=Φ,α和β最多有1個能推導出ε;如果β*═ε , 則FIRST(α)∩FOLLOW(A)=Φ 。
【ll1文法等價條件】LL1文法既不是二義性的,也不含左遞歸 , 對LL1文法的所有句子均可進行確定的自頂向下語法分析 。需要注意的是,并不是所有的語言都可以用LL1文法來描述,而且不存在判定某語言是否是LL1文法文法的算法 。