在短語結構文法的基礎上加入每個短語和整個句子語義信息所構成的文法。1968年D.E.克努特對上下文無關語言的語義進行了形式說明。在對一個由上下文無關文法產生的句子進行分析的過程中（見句法分析），為每一個產生相應短語的非終止符確定一個與該短語的語義對應的屬性。屬性分為“繼承的”與“綜合的”兩種，繼承屬性的意義來自一個短語的上下文，而綜合屬性則反映短語內所建立起來的那些關係。整個一條鏈的意義是由把句法分析過程中所用的產生式的屬性加以聯繫的規則所確定的。屬性文法在給出句法規則的同時，還給出相應的語義規則。語義規則能簡化句法規則。例如描述一組不同邊長的三角形集合
這是一個正則文法，它比上述的上下文敏感文法要簡單得多。屬性文法既考慮模式的結構關係，又具有處理噪聲和數值運算的能力，用它對模式進行描述和識別兼有決策理論方法和結構方法兩者的特點，所以在模式識別領域中受到廣泛的注意。它的一個重要性質是可以在句法部分和語義部分之間進行折衷，即如果使語義部分變得複雜一些，句法部分就可以變得簡單一些，反之亦然。實際上模式識別中的統計方法和句法方法可以看成是屬性文法的兩種極端情況。統計方法把整個模式作為一個特徵向量即模式的屬性來研究，句法方法只考慮文法而不討論語義。屬性文法把這兩者適當結合起來，就可以比較容易地解決某些模式識別問題。
