詞綴語法是一種形式語法；它被用來描述語言的語法，主要是計算機語言，使用的方法是基于自然語言的典型描述方式。詞綴語法的語法規則是無語境語法的規則，只是在非終結語中的某些部分（詞綴）被用作論據。如果同一個詞綴在一條規則中出現多次，它的值必須一致，也就是說，它必須在所有地方都一樣。在某些類型的詞綴語法中，詞綴值之間可能存在更復雜的關系。

給定的語法也描述了諸如以下的句子約翰喜歡孩子，孩子幫助父母這些句子是錯誤的：在英語中，主語和動詞有一個語法上的數字，必須一致。一個詞綴語法可以直接表達這一點。

在最簡單的詞綴語法類型中，詞綴只能從有限的域中取值，而且詞綴值只能通過約定來聯系，就像例子中那樣。以這種方式應用，詞綴增加了語法的緊湊性，但沒有增加表達能力。另一種方法是允許詞綴以任意的字符串為值，并允許在規則中使用詞綴的連接。詞綴的可允許值的范圍可以用無語境語法規則來描述。這就產生了兩級語法的形式主義，也被稱為VanWijngaarden語法或2VW語法。這些語法已被成功地用于描述復雜的語言，特別是Algol68編程語言的語法。然而，事實證明，即使詞綴值只能用字符串連接來操作，這種形式主義也是圖靈完全的；因此，即使是關于任意2VW語法所描述的語言的最基本問題，在一般情況下也是不可解的。20世紀80年代發展起來的擴展詞綴語法是同一思想的一個更有限的版本。它們主要被用于描述自然語言的語法，例如英語。另一種可能性是允許用某種編程語言編寫的代碼來計算詞綴的值。

有兩種基本方法被使用。在屬性語法中，詞綴（稱為屬性）可以從任意領域取值（例如整數或實數，復雜的數據結構），并且可以指定任意的函數，用選擇的語言編寫，以描述規則中的詞綴值是如何相互衍生的。在CDL（編譯器描述語言）和它的后繼者CDL2（開發于20世紀70年代）中，源代碼的片段（通常是匯編語言）可以在規則中使用，而不是正常的右手邊，允許直接表達輸入掃描和詞綴值計算的原語。作為實際編譯器構建的基礎，這種方法被用來編寫編譯器，以及其他軟件，例如文本編輯器。