_2formula_3formula_4formula_5在中间增长的 g 的栈计数 A 已经被展开来增加一个 a 和一个 c 的次数 (formula_6)；在结束时所有 g 变成终结符 b。判定一个附标文法是否识别一个字符串是NP-完全的。 
线性附标文法.Gerald Gazdar 已经定义次级类线性下标文法，通过要求在每个产生式中最多一个非终结符可以被指定为收到这个栈；在普通附标文法中，所有非终结符都收到这个栈的一个复本。他证明了这个新的文法类定义严格更