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

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

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

1型文法又称上下文无关文法。

判断题1型文法又称上下文无关文法。

逆波兰法表示的表达式亦称前缀式。

判断题逆波兰法表示的表达式亦称前缀式。