泵引理

✍ dations ◷ 2025-11-19 23:48:22 #泵引理

在可计算性理论中的形式语言理论中，泵引理（Pumping lemma）声称给定类的任何语言可以被“抽吸”并仍属于这个类。一个语言可以被抽吸，如果在这个语言中任何足够长的字符串可以分解成片段，其中某些可以任意重复来生成语言中更长的字符串。这些引理的证明典型的需要计数论证比如鸽笼原理。

两个最重要例子是正则语言的泵引理和上下文无关语言的泵引理。鄂登引理是另一种更强的上下文无关语言的泵引理。

这些引理可以用来确定特定语言不在给定语言类中。但是它们不能被用来确定一个语言在给定类中，因为满足引理是类成员关系的必要条件，但不是充分条件。

泵引理是1961年由 Y. Bar-Hillel、M. Perles 和 E. Shamir首次发表的。

假设 ${displaystyle Lsubseteq Sigma ^{*}}$ 是上下文无关语言，则存在一常数 > 0 使得语言中每个字串的长度 || ≧ ，而当 = 时：

透过泵引理以反证法证明不是上下文无关语言。

相关

诺贝尔委员会诺贝尔委员会是负责评审诺贝尔奖得奖者大部分工作的工作单位。每个诺贝尔奖各有一个委员会负责，总共有五个。负责其中四个奖项──物理学、化学、生理学或医学、文学──的诺
1902年汪清地震1902年汪清地震是指1902年7月3日发生于延边汪清地区的强烈地震。是次地震的地震规模为Ms 6.6至6.7级，震源深度约20千米，最大烈度为8（VII）度。本次地震是中国东北地区已知最早给
TRTR可能指：
户姓户姓，一个中国姓氏，人数较少。寻访稀罕姓系列报道（一百零一）：户文轩喜欢同学叫她“户户”（图）
斯蒂芬·考特金斯蒂芬·考特金（Stephen Kotkin 1959年7月12日－）美国历史学家，普林斯顿大学国际事务和历史教授，斯坦福大学胡佛研究所研究员，其近期著作有斯大林三部曲（已出版前两部）。
南公园站南公园站（日语：南公園駅／みなみこうえんえき */?）位于兵库县神户市中央区港岛中町八丁目，是神户新交通港湾人工岛线的铁路车站。副站名为IKEA・儿童医院前。车站编号为P07。单
弗里茨·胡德赫德拉赫弗里茨·胡德赫德拉赫（荷兰语：Frits Goedgedrag，1951年11月1日 - ），荷兰自治国阿鲁巴岛政治家，2002年起任荷属安的列斯总督至2010年荷属安的列斯解体为止。
斯科菲尔德 (犹他州)斯科菲尔德（英文：Scofield），是美国犹他州卡本县下属的一座城市。建市于 1879年，面积大约为0.7平方英里（1.8平方公里），海拔约为7,739英尺（2,359米）。根据2010年美国人口普查，该市有人口24人。
二十一世纪古典音乐廿一世纪古典音乐是自2000年以来，在当代古典音乐的传统下的艺术音乐（英语：Art Music）。有部分音乐元素从上世纪保留下来，包括后现代主义（英语：Postmodern music）、多元风格主义（英语：Polystylism）和折衷主义（英语：Eclecticism in music），它们试图融合所有音乐风格的元素，不管这些元素是否“古典”——这些努力代表着各种音乐类型之间松散的区分。重要的影响包括摇滚乐、流行音乐、爵士乐和与之相关的舞蹈传统。21世纪中另一个值得关注的改变，是古典音乐与多媒体的结
胡氏古民居建筑坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n