S_文法 条件: 每个产生式的右部都以终结符开始同一非终结符的各个候选式的首终结符都不同 局限性: 右部不能包含ε产生式 q_文法 引入SELECT集和FOLLOW集 q_文法中SELECT集的定义: 条件: 每个产生式的右部或为ε,或以终结符开始具有相同左部的产生式有不相交的SELECT集 局限性: 右部不可以以非终结符打头 LL(1)文法 第一个L表示从左到右扫描输入串第二个L表示分析使用最左推导1表示分析时每一步只需向前看一个符号即可决定所选用的规则,而且这种选择是准确无误的。 LL(1)文法中SELECT集的定义: 判定条件: