泵引理

（计算机科学技术）

泵引理（pumping Lemma），计算机科学技术名词，一个语言 L 满足泵引理指的是，对 L 中长度大于某常数的任意一个串w，都可以把它分成若干段（3或5段），把其中某（某些）段删去或重复任意多次，得到的新串仍是 L 的成员。正规语言和上下文无关语言具有这种性质。