【发布时间】：2012-01-11 00:40:16
【问题描述】：
我在测试中弄错了这个问题，想知道是否有人可以解释它，并展示得出结论所采取的步骤。任何帮助将不胜感激。
在 L_neq = {0^i1^j | 的 PL 证明中i
此外，如果这个证明是错误的，写下一个正确的证明。
谢谢
【问题讨论】：
标签： dfa proof pumping-lemma
【发布时间】：2012-01-11 00:40:16
【问题描述】：
当使用pumping lemma 时，虽然您可以选择要pump 的字符串（我们称之为w），但不 允许您选择如何将w 拆分为xyz 三个部分。相反，您需要做的是表明对于 any 可以将 w 拆分为 xyz 的方式，有一些 i 的选择使得 xyiz 使得 xyiz ∉ Lneq。因此，虽然如果 y = 0 则可以从 Lneq 中取出字符串是正确的，但您不能保证 y = 0。相反，您需要证明对于 y 的任何选择这样 |xy| ≤ m 和 |y| > 0，你可以把字符串从语言中取出来。
作为提示，试试字符串 0m1m。现在，对于 y 的任何选择，因为 |xy| ≤ m，你知道对于某个自然数 j > 0，y 必须具有 0j 的形式。那么你的论点可以用来证明 xyiz 不再是在 Lneq.
有关抽水引理以及这些证明如何工作的其他资源，请随时查看我在本季度早些时候在计算理论课程中使用的 these lecture slides。他们浏览了一些引理示例，并且（重要的是）展示了考虑这些证明的对抗模型。
希望这会有所帮助！
【讨论】：