附标语言

附标语言是 Alfred Aho 发现的一类形式语言 ^[1]；它们用附标文法描述并由嵌套堆栈自动机识别 ^[2]。

附标语言是上下文有关语言的真子集和适度上下文有关语言和上下文无关语言的真子集；它们在并集、串接(concatenation)和Kleene星号下闭合，但在交集和补集下不闭合。Gerald Gazdar 已经依据线性附标语法特征化了适度上下文有关语言。^[3]

附标语言在自然语言处理中作为上下文无关语言的计算可承受的一般化有着实践重要性，因为附标文法可以描述自然语言中出现的很多非局部约束。

例子

下列语言是有附标的，但不是上下文无关的:

{a^{n} b^{n} c^{n} d^{n} | n \geq 1}

^[3]

{a^{n} b^{m} c^{n} d^{m} | m, n \geq 0}

^[2]

下面两个语言也是有附标的，但不是 Gazdar 所特征化的适度上下文有关语言:

{a^{2^{n}} | n \geq 0}

^[2]

{w w w | w \in {a, b}^{+}}

^[3]

在另一方面，下列语言不是有附标的 ^[4]:

{(a b^{n})^{n} | n \geq 0}