ll1文法等價條件

如果α、β均不能推導出ε，則FIRST(α)∩FIRST(β)=Φ，α和β最多有1個能推導出ε；如果β*═ε，則FIRST(α)∩FOLLOW(A)=Φ。

LL1文法既不是二義性的，也不含左遞歸，對LL1文法的所有句子均可進行確定的自頂向下語法分析。需要注意的是，並不是所有的語言都可以用LL1文法來描述，而且不存在判定某語言是否是LL1文法文法的算法。