若產(chǎn)生式左部的單非終結(jié)符A的屬性值由右部各非終結(jié)符的屬性值決定,則A的屬性稱為綜合屬
一個(gè)文法如果包含二義性的句子,則這個(gè)文法是二義文法,否則是無二義文法。