The proof of language $F = \{ww\mid w ∈ \{0,1\}^*\}$ is not a regular language using pumping lemma most of the solutions i found uses the string $0^p10^p1$. I understand the proof using that. But in Michael Sipser's Introduction to the Theory of Computation book he mention that using $0^p0^p$ string will fails to proof $F$ is not a regular language. But from what I understood if we take the string as $0^{p-r}0^{r}0^{p}$ where $p$ is the pumping length when $r= 0$ the string that generate is $0^{p}10^p$. So this is clearly a string that not generated by this language. By using this we can prove $F$ is not a regular language. Is this correct?
thanks.
No it's not, because $0^r$ means "$0$ repeated $r$ times". The operation that is repeated is concatenation and not multiplication. In particular, $0^0$ is the empty word $\varepsilon$ (because it is the neutral element of concatenation), and certainly not $1$.