附标语言
附標語言是 Alfred Aho 發現的一類形式語言 ；它們用附標文法描述並由嵌套堆疊自動機識別 。
附標語言是上下文有關語言的真子集和適度上下文有關語言和上下文無關語言的真子集；它們在併集、串接 (concatenation) 和 Kleene 星號下閉合，但在交集和補集下不閉合。Gerald Gazdar 已經依據線性附標語法特徵化了適度上下文有關語言。附標語言在自然語言處理中作為上下文無關語言的計算可承受的一般化有著實踐重要性，因為附標文法可以描述自然語言中出現的很多非局部約束。