正規言語の反復補題に関する教科書の例の1つに従っています。
Let C = {w | w has an equal number of 0s and 1s}
Condition 3 stipulates: |xy| <= p
If |xy| <= p, then y must consist only of 0s, so xyyz is not in C.
Therefore s cannot be pumped
条件3が、「yは0のみで構成されている必要があるため、xyyzはCではない」という結論に至るまでの理解に苦労しています。