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

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

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

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

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

在LR（k）分析法的名称中，“k”的含义是指向前查看k个字符便能确定所需采用的动作。

判断题在LR（k）分析法的名称中，“k”的含义是指向前查看k个字符便能确定所需采用的动作。