首页 >

不收缩文法

✍ dations ◷ 2025-01-11 08:48:56 #不收缩文法

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

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

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

这里的 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 范式的文法，和上下文有关文法有同样的表达能力。

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

相关

Natica玉螺属（学名：Natica）是一属细小至中型的掠食性海螺。它们最早可以追溯至白垩纪。玉螺科旧属异足目，今属新进腹足总目玉黍螺目。玉螺属的物种包括：
张承业 (朝鲜)张承业（1843年－1897年），字景犹，号吾园，本贯太原。朝鲜王朝末期著名画家，官至司宪府监察。吾园先生曾遍览历代字画真迹，于花鸟、山水、人物均有建树。落笔有神，意趣顿生。其为人也豪放
弗雷德·阿斯泰尔弗雷德·阿斯泰尔（英语：Fred Astaire，1899年5月10日－1987年6月22日），本名菲德利克·奥斯特利兹（Frederick Austerlitz），是一位美国电影演员、舞者、舞台剧演员、编舞家与歌手。他在舞
俄罗斯剧院俄罗斯剧院（俄语：Русский театр Эстонии，爱沙尼亚语：Vene teater）是位于爱沙尼亚首都塔林的一个俄语剧院。剧院的建筑兴建于1926年，是一座装饰风艺术风格建筑
罗伯特·康奎斯特乔治·罗伯特·阿克沃斯·康奎斯特，CMG，OBE，FBA，FAAAS，FRSL，FBIS（英语：George Robert Acworth Conquest，1917年7月15日－2015年8月3日），美籍英国历史学家和诗人，斯坦福大学胡佛研究所研究
五百名观世音经《五百名观世音经》，越南国家图书馆藏佛经，汉文单行本，发行于1898年，载有观世音菩萨五百个称号。虽称为经，但无经文定式，没有译者姓名，更像修行观音法门之仪轨。前有赞颂诗，后有皈依
戈莱马尼峰坐标：78°03′12″S 85°41′44″W / 78.05333°S 85.69556°W / -78.05333; -85.69556戈莱马尼峰是南极洲的山峰，位于埃尔斯沃思地，属于埃尔斯沃思山脉中森蒂纳尔岭的一部分，海
布胡德雷区布胡德雷区（索马里语：Degmada Buuhoodle）是索马里时期的一个区，位于该国东北部的托格代尔州，而该州实际上由索马里兰政府控制。首府为布胡德雷（英语：Buuhoodle）。
埃德加·亚当斯埃德加·亚当斯（英语：Edgar Adams，1868年4月7日－1940年5月5日），美国男子跳水、游泳运动员。他曾代表美国参加1904年夏季奥林匹克运动会，其中在跳水项目上获得一枚银牌。
米饭基督徒米饭基督徒，又称吃教教徒、奶粉教徒、面粉教徒，是指出于物质利益而非信仰原因成为基督徒的人，为贬义词。该术语通常用于亚洲国家，例如印度，中国和日本。基督教教士和反对基督教传教士的人都表示担心，在这种情况下，人们只是名义上皈依基督教以接受慈善或物质进步。最早用英语表达这一概念的例子之一是威廉·丹皮尔在1689年的著作中，当时他写了有关法国牧师为使江户人改信基督教的努力，即他们奉献的大米的比传教更多。该词也被贬义地描述传教士利用贫穷和饥荒诱使皈依。世界基督教联合会在2011年发布的文件《多宗教世界中的基督徒见证