泵引理

正则语言里足够长的串一定有一段可以重复任意次仍在语言里。用它证明某语言不正则。