附標語言

附標語言是 Alfred Aho 發現的一類形式語言 ；它們用附標文法描述並由嵌套堆棧自動機識別 。

附標語言是上下文有關語言的真子集和適度上下文有關語言和上下文無關語言的真子集；它們在併集、串接(concatenation)和Kleene星號下閉合，但在交集和補集下不閉合。Gerald Gazdar 已經依據線性附標語法特徵化了適度上下文有關語言。

附標語言在自然語言處理中作為上下文無關語言的計算可承受的一般化有着實踐重要性，因為附標文法可以描述自然語言中出現的很多非局部約束。

例子

下列語言是有附標的，但不是上下文無關的:

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

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

下面兩個語言也是有附標的，但不是 Gazdar 所特徵化的適度上下文有關語言:

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

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

在另一方面，下列語言不是有附標的 :

$\{(ab^{n})^{n}|n\geq 0\}$

參見

• 喬姆斯基層級
• 附標文法
• 適度上下有關文法

外部連結

• "NLP in Prolog" chapter on indexed grammars and languages