泵引理

泵引理是高等數學中的術語。

假設

若L 是正規語言，則存在一常數n > 0使得語言 L 中每個字串 w 的|w| ≥ n，而當w = xyz時：

結果

1.|xy| ≤ n ，
2.|y| ≥ 1 ，且
3.對所有的 k ≥ 0 ，字串 xy^kz屬於 L 。