常规语言的抽水引理是什么？
有两个PumpingLemmas(PL)，它们是为常规语言和上下文-自由语言定义的。
正则语言的抽引引理
它提供了一种从给定字符串中抽取（生成）许多子字符串的方法。
换句话说，我们说它提供了将给定的长输入字符串分成几个子字符串的方法。
Lt给出condition(s)了证明一组字符串不规则的必要条件。
定理
对于任何正则语言L，存在一个整数P，使得对于L中的所有w
|w|>=P
我们可以将w分成三个字符串，w=xyz使得。
(1)lxyl (2)lyl>1 (3)对于所有k>=0：字符串xykz也在L中 Pumpinglemma用于表明某些语言是不规则的。 它永远不应该被用来表明一种语言是规则的。 如果L是正则的，则它满足Pumping引理。 如果L不满足泵引理，则它不是正则的。 使用PL证明一种语言不是正则的步骤如下： 步骤1-我们必须假设L是正则的 步骤2-因此，泵引理应该对L成立。 步骤3-它必须有一个泵送长度（比如P）。 步骤4-所有比P更长的字符串都可以抽|w|>=p。 步骤5-现在在L中找到一个字符串'w'使得|w|>=P 步骤6-将w分成xyz。 步骤7-证明对于某些i，xyiz∉L。 步骤8-然后考虑w可以分为xyz的所有方式。 步骤9-表明这些都不能同时满足所有3个泵送条件。 步骤10-w不能被泵送=CONTRADICTION。泵引理的应用