泵引理

✍ dations ◷ 2025-10-24 21:16:37 #泵引理

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

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

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

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

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

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

相关

广播电台电台广播（英语：Radio broadcasting），又称无线电广播、声音广播或收音机广播，是以无线电波单向传递声音信息的方式，一般是以高频广播。电台发送广播频率后，听众透过收音机来接收。依
肯尼亚中央银行肯尼亚中央银行，（英语：Central Bank of Kenya，简称CBK）成立于1966年，，是肯尼亚的中央银行，总部设于首都内罗毕。现任行长为2007年3月4日上任的恩朱古纳·恩东古（英语：Njuguna Ndung'u）
护目镜护目镜（英文：Goggles），运动、工作时所配戴的眼镜，目的是保护眼睛。大部分的运动都是在户外，而户外的阳光往往是造成眼睛病变的主因，所以长期暴露在阳光下的运动员开始配戴太阳眼镜
约翰·缪勒约翰尼斯·缪勒（Johannes Müller，1436年6月6日－1476年7月6日），拉丁文名称为雷吉奥蒙塔努斯（Regiomontanus），德国天文学家。缪勒生于神圣罗马帝国柯尼希斯贝格，年仅13随即成为莱比锡
酸豆角酸豆角，又称酸豇豆，是一种用豇豆腌制而成食品，流行于中国南方地区。制作方法与泡菜相似。将新鲜豇豆清洗干净后晾干表面水分，按一定比例在可密闭容器中放入豇豆、盐和其它调味料
交叉 (遗传算法)交叉（crossover）是遗传算法中由遗传学中染色体交叉互换、生物杂交等现象发展来的一个算法过程。在自然环境中，基因重组对生物的进化起到非常关键的作用，同理，杂交操作也是遗传算
贺得霖贺得霖，生卒年不详，民国时期财政要人、金融银行家。曾任北洋政府财政总长。浙江宁波人。浙江慈溪（今属余姚）人。曾任职段祺瑞政府，担任众议院议员，北洋政府财政总长。1912年10月4
武大定武大定，明朝末年将领，陕西承宣布政使司清涧县（今陕西省清涧县）人。武大定号黄巢，在明末民变为小红狼别部，他斩杀刘哲，投降孙传庭。武大定跟随贺人龙征战，从守备升为副总兵。清兵入塞
哈蒙德·匹克哈蒙德·匹克（英语：Hammond Peek）新西兰音频工程师。他赢得2次奥斯卡最佳音响效果奖，并获得2次提名。匹克赢得过2次奥斯卡金像奖，并获得了2次提名。
Microsoft PayMicrosoft Pay是Microsoft移动支付和数字电子钱包服务，允许用户在某些设备上付款和存储会员卡。目前支持使用Microsoft Lumia 950，Lumia 950 XL和Lumia 650进行付款。Microso