1: \begin{lem}[Pumping Lemma for regular \lan s]\label{lem:pumpR}

2: Let $A$ be a regular \lan. There is a number $p$ (the pumping length)

3: so that if $s$ is any word in $A$ of length at least $p$, then $s$ may

4: be divided into three pieces $s=xyz$ where we can require either

5: that $|xy|\leq p$ or $|yz|\leq p$ and have both \bi

6: \item For each $i\geq 0$, $xy^iz\in A$ \item $|y|>0$ \ei

7: \end{lem}

8: