判断题 一个上下文无关文法的开始符，可以是终结符或非终结符。

判断题 一个句型的直接短语是唯一的。

判断题 若项目集IK含有A→α，则在状态k时，仅当面临的输入符号a∈FOLLOW（A）时，才采取归约动作的一定是SLR1分析法。