使用泵引理的条件 3 证明不规则性
Using condition 3 of the pumping lemma to prove irregularity
所以，我一直在阅读 Sipser 关于计算理论的书，其中一个练习是：
Let B be the language {0^n1^n | n≥0}.
Prove B is not regular.
本书继续给出证明，使用抽取引理，设s=0^p 1^p，s=xyz，并测试所有三种情况；当y只有0时，只有1，0和1。但我不明白后两个选项如何通过泵引理的条件三成为可能 |xy|≤p。这个条件不是说y只能是0吗？
Does this condition not imply that y can only be 0's?
不，不一定。修复p，令字符串为
w = xyz = 01/2 p11/2 p
是什么阻止了 x 成为第一个字符，z 成为最后一个字符，而 y介于两者之间？
所以，我一直在阅读 Sipser 关于计算理论的书，其中一个练习是：
Let B be the language {0^n1^n | n≥0}.
Prove B is not regular.
本书继续给出证明，使用抽取引理，设s=0^p 1^p，s=xyz，并测试所有三种情况；当y只有0时，只有1，0和1。但我不明白后两个选项如何通过泵引理的条件三成为可能 |xy|≤p。这个条件不是说y只能是0吗？
Does this condition not imply that y can only be 0's?
不，不一定。修复p，令字符串为
w = xyz = 01/2 p11/2 p
是什么阻止了 x 成为第一个字符，z 成为最后一个字符，而 y介于两者之间？