computation - 抽引引理条件 3 概念

Question

我正在关注我教科书中关于抽水引理的一个例子：

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 中”的结论

Answer 1

我猜选择的字符串是 0 ^p 1 ^p。由于 |xy| <= p，并且 xyz = 0 ^p 1 ^p，字符串 xy 将是 0 ^k其中 k <= p 因为 0 ^p 1 ^p的前 p 个符号都是 0。由于 xy 仅由 0 组成，因此 y 也必须仅由 0 组成

并学会以适当的方式提出你的问题。你不能指望别人“预测”你的问题，而你只放了一半的信息