附标语言 附标语言是 Alfred Aho 发现的一类形式语言 它们用附标文法描述并由嵌套堆栈自动机识别  附标语言是上下文有关语言的真子集和适度上下文有关语言和上下文无关语言的真子集它们在并集串接concatenation和Kleene星号下闭合但在交集和补集下不闭合Gerald Gazdar 已经依据线性附标语法特征化了适度上下文有关语言 附标语言在自然语言处理中作为上下文无关语言的计算可承受的一般化有着实践重要性因为附标文法可以描述自然语言中出现的很多非局部约束