10.4 LL(1) 语法的特性

可以用 LL(1) 法来解析的语法被称为 LL(1) 语法（ LL(1) grammar ），当且仅当一种语法具有以下特性时，此语法才是 LL(1) 语法：

对该语法中的任何非终结符 A ，若其所有产生式为： A -> u1 | u2 | … | un ，则：

（1） First(u1), First(u2), … First(un) 互不相交；

（2） 若有一个 First(ui) 中含 ε ，则 Follow(A), First(u1), First(u2), … First(un) 互不相交。

判别一种语法是否是 LL(1) 语法的方法就是构造其分析表，若构造过程中没有发现冲突，也就是表中的任何元素 M[X, a] 最多只有一个动作，那么此语法就是 LL(1) 语法。