ormula_1是正则语言，则存在字符串formula_2且formula_3（n为泵长度，可理解为正则语言等效的极小化DFA的状态个数）。并且可以将w写成formula_4的形式，使得以下说法成立：
应用.通过泵引理可以用反证法证明L不是正则语言。证明的时候需要注意以下几点：一个证明L不是正则语言的例子
普遍化的泵引理.并不是所有满足泵引理的语言都是正则语言。formula_41就是这样的一个例子，它虽然满足泵引理，但并不是正则语言。Jeffrey