泵引理 在可计算性理论中的形式语言理论中泵引理Pumping lemma声称给定类的任何语言可以被抽吸并仍属于这个类一个语言可以被抽吸如果在这个语言中任何足够长的字符串可以分解成片段其中某些可以任意重复来生成语言中更长的字符串这些引理的证明典型的需要计数论证比如鸽笼原理 两个最重要例子是正则语言的泵引理和上下文无关语言的泵引理鄂登引理是另一种更强的上下文无关语言的泵引理 这些引理可以用来确定特定语言不在给定语言类中但是它们不能被用来确定一个语言在给定类中因为满足引理是类成员关系的必要条件但不是充分条件 泵引理是年由 Y BarHillelM Perles 和 E Shamir首次发表的