不收缩文法

✍ dations ◷ 2025-07-30 01:50:32 #不收缩文法

在形式语言理论中,文法是不收缩的(或单调的),如果所有它的产生规则都有如下形式

就是说,没有规则会减少被重写的字符串的大小。

它是本质不收缩的,如果可有一个例外,也就是,规则

这里的 S 是开始符号而 ε 是空串。

这个文法生成语言 { a n b n c n : n 1 } {displaystyle {a^{n}b^{n}c^{n}:ngeq 1}} ,它不是上下文无关的。

还有给语言 { a n b n c n d n : n 1 } {displaystyle {a^{n}b^{n}c^{n}d^{n}:ngeq 1}} 的(更加复杂)的不收缩文法。

有容易的过程把任何不收缩文法转换成 Kuroda范式。

已知把任何不收缩文法变换成上下文有关文法或反之的过程。

所以,不收缩文法,Kuroda 范式的文法,和上下文有关文法有同样的表达能力。

更精确地说,不收缩文法精确的描述不包含空串的上下文有关语言,而本质不收缩文法精确的描述上下文有关语言的集合。

相关

  • 全血全血为标准捐血流程后所取得的人类血液,通常用于治疗大量出血、换血疗法(英语:exchange transfusion)与自体输血上。一单位的全血可提升受血者之血红蛋白浓度约10 g/L。在输全血
  • 二八第八第十埃及第二十八王朝是古埃及历史上的一个王朝,其统治者为埃及本土人。第二十八王朝与第二十六王朝、第二十七王朝、第二十九王朝、第三十王朝和第三十一王朝统称古埃及
  • 1591年重要事件及趋势重要人物
  • 锦州锦州市是中华人民共和国辽宁省下辖的地级市,是辽宁沿海的第二大城市。锦州是连接东北地区和华北地区的交通要冲,也是著名的松锦之战、辽沈战役主战场之一。锦州主城区位于小凌
  • 广冈浅子广冈浅子(日语:広岡 浅子/ひろおか あさこ,1849年10月18日-1919年1月14日)是日本一名实业家、教育家和社会运动家。
  • 侯赛因·汉达基侯赛因·汉达基(波斯语:شاہ حسین ہوتکی‎,?-1738年),伊朗汉达基王朝的末代埃米尔(1725年—1738年在位)。侯赛因出身于阿富汗吉尔查伊族的普什图人,父亲为吉尔查伊族领袖米
  • 李洛能李能然(1788年-1876年),名飞羽,字能然,人称老能,因音转,也被称为洛能、洛农、老农,生于直隶省深县,清朝武术家,近代形意拳大宗师。由于武艺绝顶,又有神拳李之威名。李洛能幼时就很喜爱武
  • GA文库GA文库是SB Creative(日语:SBクリエイティブ)的轻小说文库系列。2006年1月创刊。GA文库官方网站并未说明“GA”是什么的缩写;但从广告词“超世代Adventure”以及作品募集中的文
  • 职业玩家职业玩家指以进行电子游戏谋生或赚取收入的人。2000年以后,电子游戏随着PC和互联网的普及得到迅速发展。电子游戏产业带来了一定的供需要求,于是诞生了专门以进行电子游戏为职业的职业玩家。围绕电子游戏(尤其是网络游戏和竞技类电子游戏)发展出了众多的商业行为。一个职业玩家可能是通过销售网络游戏中的虚拟货币赚取金钱,也可能是通过进行电子竞技比赛得到奖金为生。随着近年网络游戏和宽带的发展,网络游戏玩家人数上升,网络游戏消费额和市场逐年扩大,也形成了除了对游戏运营官方点卡等的需求外的额外需求。于是有玩家通过网上或网下
  • 克尔比·帕基特克尔比·帕基特(英语:Kirby Puckett,1960年3月14日-2006年3月6日),为美国职棒大联盟的中外野手。帕基特生涯全都效力于双城队,他的生涯安打数、得分与垒打数都高居队史第一。而他的生涯打击率为3成18,也一度成为继乔·迪马乔后生涯打击率最高的美联打者。1996年,36岁的帕基特因为罹患青光眼,不得已选择退休。2001年,他在第一年的名人堂票选资格就顺利入选。帕基特出生于芝加哥,幼时起在罗伯泰勒之家社区生活,该社区在当地有较为头痛的毒品犯罪问题等。为了早日脱离当地较为黑暗的环境,帕基特努