任何一个L属性文法（L-AttributedGrammar）都是S属性文法（S-AttributedGrammar）。

判断文法是否是LL（1）文法时，第一个判定规则是，同一个产生式的多个产生式选项的First集合两两相交为空。

判断题判断文法是否是LL（1）文法时，第一个判定规则是，同一个产生式的多个产生式选项的First集合两两相交为空。

如果产生式中没有ε-产生式，那么无需求解Follow集合。

判断题如果产生式中没有ε-产生式，那么无需求解Follow集合。

文法经过修改都可以进行自顶向下分析。

判断题文法经过修改都可以进行自顶向下分析。