编译原理：属性文法：文法形式判别。

再课本上有4条语句的描述，每次看都会比较模糊。所以总结一下。

基本了解：

属性文法：上下无关文法+文法符号的属性

属性的计算规则=语义规则

属性分类：继承属性，综合属性。

属性文法判别：

形如产生式：A->a

语义规则形式：

左部	右部
文法符号综合属性	产生式右部任意属性
产生式右部非终结符继承属性	产生式右部符号和文法符号任意属性

也就是说，左部只能是关于非终结的属性。

例子：

这里说一下a选项的判别：

继承属性有Qb,Rd,Rf.综合属性有Qa,Rc,Re

产生式1：产生式右部综合属性Rc,Re出现在左部，错误

产生式2：同上

产生式3：正确

产生式4：文法符号继承属性Rd，Rf出现在左部，错误。

综上选项a错误。