附标文法

✍ dations ◷ 2025-08-14 12:32:01 #附标文法

附标文法是描述附标语言的形式文法。它们有三个无交集的符号集合: 普通终结符、非终结符和只出现在中间推导中的附标(index)的集合。产生式可以如上下文无关文法那样把一个非终结符替代为终结符和非终结符的字符串，但是它还把非终结符替代为跟随着一个附标的非终结符，把跟随着一个附标的非终结符替代为非终结符。

附标只可以出现在非终结符之后或其他附标之后，所以所有非终结符都可以被看作跟随它之后的这些附标的所有者，它们形成了一个栈(产生式在非终结符之后增加或去除附标)。

实际上，附标的栈可以计数并记住应用了和以何种次序应用了什么规则。例如，附标文法可以描述非上下无关语言:

通过如下规则(f 和 g 是附标):

${displaystyle Sto aAfc}$ ${displaystyle Sto aAfc}$

${displaystyle Ato aAgc~|~B}$ ${displaystyle Ato aAgc~|~B}$

${displaystyle Bfto b}$ ${displaystyle Bfto b}$

${displaystyle Bgto bB}$ ${displaystyle Bgto bB}$

在中间增长的 g 的栈计数 A 已经被展开来增加一个 a 和一个 c 的次数 ( ${displaystyle n-1}$ $n-1$ )；在结束时所有 g 变成终结符 b。

判定一个附标文法是否识别一个字符串是NP-完全的。

Gerald Gazdar 已经定义次级类线性下标文法，通过要求在每个产生式中最多一个非终结符可以被指定为收到这个栈；在普通附标文法中，所有非终结符都收到这个栈的一个复本。他证明了这个新的文法类定义严格更小的语言类适度上下文有关语言。在线性附标文法中成员关系可以在多项式时间内判定。

相关

生育能力生育能力（fertility）是指生物可以繁衍后代的能力，在统计上，生育率是指一对配偶生育后代的个数。生育能力和潜在生育能力（英语：Fecundity）（fecundity）不同，后者是指繁衍后代的潜力，受到
史高域史高域（Josip Škorić，1981年2月12日－），生于克罗地亚史普利特，克罗地亚职业足球员。
可扩展性可缩放性（Scalability）是指问题规模和处理器数目之间的函数关系。可缩放性实际上是和并行算法以及并行计算机体系结构放在一起讨论的。某个算法在某个机器上的可缩放性反映该
阿部正功阿部正功（あべまさこと、安政7年1月23日（1860年2月14日） - 大正14年（1925年）9月11日），陆奥国棚仓藩第2代藩主。白河藩主·阿部正耆次男。正室为德大寺公纯之女。忠秋系阿部家17代
阿尔瓦尔阿尔瓦尔（Alwar）是印度拉贾斯坦邦的一座城市。
白雷根河坐标：49°00′47″N 13°13′39″E / 49.013062°N 13.227421°E / 49.013062; 13.227421白雷根河（德语：Weißer Regen），是德国的河流，位于该国东南部，由巴伐利亚负责管辖，属于雷根
劲松站 (内蒙古)劲松站是中华人民共和国黑龙江省一座铁路车站，位于大兴安岭地区松岭区劲松镇，在该国铁路车站等级当中归类为四等站，隶属哈尔滨铁路局加格达奇车务段。该站于1970年落成启用，为富
米拉日山坐标：71°18′S 13°25′E / 71.300°S 13.417°E / -71.300; 13.417米拉日山（英语：Mirazh Mountain）是南极洲的山峰，位于毛德皇后地的阿斯特里德公主海岸，海拔高度1,485米，由德国
马林·鲍曼马林·鲍曼（法语：Marin Baumann，1992年2月1日－），法国男子羽毛球运动员。2012年5月，马林·鲍曼出战保加利亚羽毛球公开赛，与卢卡斯·科维合作赢得男子双打亚军。只列出曾进入半决赛的国际赛事成绩：
丘胡伊夫丘胡伊夫（乌克兰语：Чугуїв，罗马化：），又按俄语名译为丘古耶夫（俄语：Чугуев，罗马化：），是乌克兰哈尔科夫州丘胡伊夫区丘胡伊夫市镇（乌克兰语：Чугуївська міська громада）内的城市，为同名区及同名市镇的行政中心。位于该国东部顿涅茨河畔，距离哈尔科夫28公里，始建于1638年8月10日，面积12.77平方公里，人口数量为31,575人（2021年普查数据）。2022年2月下旬，丘胡伊夫一度被俄罗斯占领。3月7日，乌克兰收复了丘胡伊夫。