仅仅使用综合属性的语法制导定义称为S属性定义。

属性文法是指语义规则函数无副作用的语法制导定义。

判断题属性文法是指语义规则函数无副作用的语法制导定义。

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

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

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

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