语言。Jeffrey Jaffe发展出了一个普遍化的泵引理，使它可以证明一个语言是正则语言。它的描述如下：一个可行的用于判断一个语言是否为正则语言的方法，可以参见迈希尔－尼罗德定理。一般来说证明一个语言是正则的，可以通过对该语言构造一个有限状态机或正则表达式来实现。
上下文无关语言的泵引理.
定义.若 "L" 是上下文无关语言，则存在一常数 "n" > 0 使得语言 "L" 中每个字串 "w" 的长度 |"w"| ≧ "n"，而当 "w" = "uvxyz"