泵引理

在可計算性理論中的形式語言理論中 ， 泵引理 （ Pumping lemma ） 聲稱給定類的任何語言可以被 “ 抽吸 ” 並仍屬於這個類 。 一個語言可以被抽吸 ， 如果在這個語言中任何足夠長的字符串可以分解成片段 ， 其中某些可以任意重複來生成語言中更長的字符串 。 這些引理的證明典型的需要計數論證比如鴿籠原理 。 兩個最重要例子是正則語言的泵引理和上下文無關語言的泵引理 。 鄂登引理是另一種更強的上下文無關語言的泵引理 。 這些引理可以用來確定特定語言不在給定語言類中 。 但是它們不能被用來確定一個語言在給定類中 ， 因爲滿足引理是類成員關係的必要條件 ， 但不是充分條件 。 泵引理是1961年由 Y. Bar - Hillel 、 M. Perles 和 E. Shamir首次發表的 。