泵引理

设 $A$ 是正则语言, 则存在 $p>0$ 使得对 $\forall w\in A,|w|\ge p,\exists \text{分割}w=xyz$ 满足

• 对任意 $i\ge 0,x{y}^{i}z\in A$;
• $|y|>0$;
• $|xy|\le p$.