语法制导的产生式有多组语义规则。

一个文法，如果能为它构造出所有条目都唯一的LR分析表，就说它是LR文法。

判断题一个文法，如果能为它构造出所有条目都唯一的LR分析表，就说它是LR文法。

句型的句柄是该句型中和一个产生式左部匹配的子串。

判断题句型的句柄是该句型中和一个产生式左部匹配的子串。

移进-归约分析为输入串构造分析树是从根结点开始的，朝着叶结点方向前进。

判断题移进-归约分析为输入串构造分析树是从根结点开始的，朝着叶结点方向前进。