上下文有关语言

✍ dations ◷ 2025-08-27 21:14:09 #上下文有关语言

在理论计算机科学中，上下文有关语言是可被上下文有关文法定义的形式语言。它是乔姆斯基谱系中的四类文法之一。它在理论和实践中都是最少使用的。

上下文有关语言的可计算性等价于线性有界非确定图灵机。它是磁带只有个单元的非确定图灵机，这里的是输入的大小而是与这个机器关联的常数。这意味着可以被这种机器判定的所有形式语言都是上下文有关语言，而所有上下文有关语言都可以被这种机器判定。

这种语言的集合也叫做 NLIN-SPACE，因为它们可以在非确定图灵机上使用线性空间来接受。类 LIN-SPACE 定义相同，除了使用确定图灵机之外。。明显的 LIN-SPACE 是 NLIN-SPACE 的子集，但不知道是否 LIN-SPACE=NLIN-SPACE。普遍猜测它们是不相等的。

不是上下文无关的上下文有关语言的一个例子是 = { : 是质数 }。证明它的最容易方式是使用线性有界图灵机。

相关

威廉·A·惠勒威廉·A·惠勒（英语：William Almon Wheeler，1819年6月30日－1887年6月4日）是美国纽约州联邦众议员和第19任美国副总统（1877年–1881年）。惠勒生于纽约州的马龙村，后来就读佛蒙特大学
Ar CielaAr Ciela又称作星语，是在株式会社万普和Gust的原创作品“魔塔大陆系列”（PS2和PS3上的游戏软件）中以及其衍生作品和关联作品中出现的一种架空语言，是通作品中另一个语言Hymmnos
喇叭苗话喇叭苗话是湘语下属的一种方言。为在贵州西部晴隆普安两县交界一些乡镇的被新汉族移民称为喇叭苗的族群使用。据喇叭苗人族谱及口传记载，他们的祖上大多是明洪武十三年（1381年
胜新太郎胜新太郎（日语：勝新太郎，1931年11月29日－1997年6月21日），原名奥村利夫，是日本东京市江东区出身的著名演员、歌手、导演、剧本家、三味线师范。代表作是1962年开始的系列电影《座头
御台场御台场（日语：お台場／おだいば */?），或直接简称为台场，是日本东京湾内一座大型人工岛，毗邻东京港，属于东京都内的新兴发展区域。1980年代起，此地身为东京临海副都心的核心地带而快
蓝成春蓝成春（?－1864年），广西人，军中号为蓝矮子，太平天国中后期名将 “祜王”，早岁入上帝会与金田起义，占领三河、陕南汉中。
尚志钧尚志钧（1918年2月4日－2008年10月9日），安徽全椒人，著名中药学家，皖南医学院教授，长期致力于本草文献的整理和研究，钩沉辑复亡佚的本草14种，撰写专著8种，发表论文180余篇。1918年2月4日，
米尔-贾法尔·阿巴索维奇·巴吉罗夫米尔-贾法尔·阿巴索维奇·巴吉罗夫（俄语：Мир Джафар Аббасович Баги́ров，阿塞拜疆语：Mir Cəfər Abbas oğlu Bağırov，1895年9月5日（格里历：9月17日
翟义翟义（前1世纪－7年），西汉汝南郡上蔡县人，字文仲，翟方进的儿子。翟义历任南阳郡都尉、弘农郡太守、河内郡太守、东郡太守。汉平帝死后，王莽居摄，翟义联合东郡都尉刘宇、严乡侯刘信起兵反王莽，立刘信为皇帝，自任大司马柱天大将军，部下聚集十万人，不久兵败被杀。
全国人民代表大会安徽省代表团全国人民代表大会安徽省代表团，简称全国人大安徽省代表团，是在中华人民共和国的最高权力机构全国人民代表大会中，代表中华人民共和国安徽省行使国家立法权的人大代表组成的代表团。