ATTRIBUTE GRAMMARS 屬性文法
前言：
1968年被Donald Knuth 提出，當時的目的是爲了對上下文無關的語義進行形式化。現在多用於類似：檢查聲明，檢查變量or函數是否與聲明一致，操作語義等。
靜態語義形式化描述最常採用的是屬性文法（attributegrammars），它實際上是爲產生式中的符號擴充屬性。因此，也可以認爲屬性文法是對上下文無關文法的擴充，二者結合起來，完整地定義出合法的程序。 由於屬性文法對靜態語義的描述並不是獨立的，需要與文法捆綁在一起，因此被認爲是半形式化的描述。