指涉及语意的一种翻译文法。为了将语意引进语法公式，对每个语法记号附加一些属性，这些属性类似变量，可以赋值。在推导语法树的时候，各属性的值层层递传，语法推导树最后完成时，即得到出发符号的属性值亦即整个程式的最终语意。