泵引理

✍ dations ◷ 2025-08-26 10:15:34 #泵引理

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

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

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

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

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

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

相关

About.comDotdash.com（中文：阿邦网、前称：The Mining Company、MiningCo.com, Inc.、About, Inc.、About.com），美国的门户网站，创建于1997年4月21日，拥有Very Well、The Balance、Lifewire、
刘　敏刘敏可以指：
厄尔布尔士省厄尔布尔士省(Persian: استان البرز, Ostan-e Alborz )，伊朗北部省份，省会卡拉季。2010年，该省析置自德黑兰省。省名源自厄尔布尔士山脉。
乔丹娜·布鲁斯特乔丹娜·布鲁斯特（英语：Jordana Brewster，1980年4月26日－）出生于巴拿马首都巴拿马城，为美国著名女演员。较知名的是在美国动作片“速度与激情系列”中扮演蜜雅·泰瑞托一角。1980
大桥望美大桥望美（日语：大橋のぞみ，1999年5月9日－），日本前童星及歌手，隶属于中心儿童剧团部门。血型是A型。身高144cm（2012年）、星座为金牛座。曾在Music Station节目中透露喜欢的艺人是Hey!
魔术光魔术光，又称魔幻时刻，Magic hour，或Golden Hour，是摄影艺术的一个用语，指黎明时日光将出及黄昏日落时段的天色幻化，光彩如魔术变化。基本上光线呈现温暖、柔和，而光影也较长。当太
巴达加奥恩巴达加奥恩（Badagaon），是印度中央邦Tikamgarh县的一个城镇。总人口7724（2001年）。该地2001年总人口7724人，其中男性4014人，女性3710人；0—6岁人口1581人，其中男773人，女808人；识字率44.
杨阳 (男高音)杨阳（1978年－2019年6月10日），是一位中国男高音歌唱家，国家一级演员。毕业于中国人民解放军艺术学院和中国音乐学院。2008年前往欧洲留学，曾在欧洲多国歌剧音乐会演唱，之后回国担任
2019－2020年澳大利亚地区热带气旋季罗</noinclude>2019－20年澳大利亚地区热带气旋季，泛指在2019年7月至2020年6月内的任何时间在澳大利亚所产生的热带气旋。大部分于澳大利亚地区的热带气旋通常都会于11月至4月
内科·威廉姆斯内科·威廉姆斯（英语：Neco Williams；2001年4月13日－）是一位威尔士足球运动员，在场上司职右后卫。现效力于英超球队诺定咸森林及效力威尔士足球代表队。威廉姆斯在六岁时加入利物浦的足球学校，开始了他的职业生涯。2020年9月24日，威廉姆斯在联赛杯第三轮作客林肯城2020/21赛季首次亮相，利物浦以7-2获胜。2022年7月11日，威廉姆斯和诺定咸森林签下为期四年的合约。威廉姆斯出生于威尔士域斯咸及代表威尔士。2020年9月6日，欧国联B级第2轮，威尔士1-0击败保加利亚的比赛中，第65分