5.2.2 LL(1)文法的判别 　　当我们需选用自顶向下分析技术时，首先必须判别所给文法是否是LL(1)文法。因而我们对任给文法需计算FIRST、FOLLOW、SELECT集合，进而判别文法是否为LL(1)文法。 　　在下面的讨论中我们假定所给文法是经过压缩的。 　　所谓文法是经过压缩的是指： 　　文法中不得含有有害规则和多余规则 　　有害规则：形如U→U的产生式。会引起文法的二义性 　　多余规则：指文法中任何句子的推导都不会用到的规则 　　① 文法中某些非终结符不在任何规则的右部出现，该非终结符称为不可到达。 　　② 文法中某些非终结符，由它不能推出终结符号串，该非终结符称为不可终止。 　　含有①、②情况非终结符的产生式都为多余规则。