首页 >

不收缩文法

✍ dations ◷ 2025-08-26 08:12:10 #不收缩文法

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

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

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

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

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

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

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

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

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

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

相关

手性拆分试剂手性拆分（Chiral resolution），亦称光学拆分（Optical resolution），或外消旋体拆分。在立体化学中，用以分离外消旋化合物成为两个不同的镜像异构物的方法，为生产具有光学活性药物的重
青少年糖尿病1型糖尿病（旧称青少年糖尿病或胰岛素依赖型糖尿病）是糖尿病其中一种类型，患者的身体不能产生足够的胰岛素，导致血糖水平过高，典型症状包括：多尿、口渴、易饿以及体重下降；其他症状
法兰克福学派阴谋论法兰克福学派是以德国法兰克福大学的“社会研究中心（英语：Institute for Social Research）”为中心的一群社会科学学者、哲学家、文化批评家所组成的学术共同体。被认为是新马
2016年欧洲足球锦标赛2016年欧洲足球锦标赛（英语：2016 UEFA European Championship），通称2016年欧洲杯（UEFA Euro 2016，英文简称Euro 2016），是第 15 届四年一度的欧洲足球锦标赛，由欧洲足联组织。比赛于20
刘江 (中国大陆演员)刘江（1925年－2020年5月1日），男，辽宁辽阳人，中国大陆电影表演艺术家。以扮演反面角色闻名，著名角色《闪闪的红星》的胡汉三，《地道战》的汤司令。1946年参加中国人民解放军。1948年加
TSR-2轰炸机英国航太TSR-2是一个由英国航太于1960年代初期发起的不幸开发计划。在计划当时，是世界上最先进的作战机种，拥有两倍音速的最大速度与西方第五代战斗机方才普及的超音速巡航能
交换系数在流体力学中，交换系数又称涡流系数或涡流扩散率，是指湍流的某一组分的迁移率与该组分的梯度之比。交换系数可应用于气象学或海洋学。
葛世振葛世振（1614年－1682年），字仞上，号同果，浙江鄞县人，明朝政治人物，榜眼及第。崇祯十三年（1640年），登一甲第二名进士，授翰林院编修，充日讲官。不久请假归省。崇祯十七年（1644年），李自成攻破北京
肖洛姆-阿莱汉姆肖洛姆·诺胡莫维奇·拉比诺维奇（俄语：Соломон Наумович (Шо́лом Но́хумович) Рабинович，1859年3月2日－1916年5月13日），以其笔名肖洛姆-阿莱汉姆（意第绪语：שלום־עליכם‎，俄语和乌克兰语：Шолом-Алейхем，又译沙勒姆·亚拉克姆）著称，是意第绪语作家及剧作家。他生于乌克兰佩列亚斯拉夫，1906年后定居美国。主要作品长篇小说《斯杰姆别纽》、《莺喉伊奥谢列》、书信体小说《美纳汉·曼德尔》、中篇小说《卖牛奶的台维》和《莫吐儿》等，及300多
戴维·安德森 (赛艇运动员)戴维·安德森（英语：David Anderson，1932年4月8日－），澳大利亚男子赛艇运动员。他曾代表澳大利亚参加1952年和1956年夏季奥林匹克运动会赛艇比赛，其中1952年奥运会获得一枚铜牌。