例如，让我们证明L = {0^n1^n | n ≥ 0}是不规则的。
要证明一种语言是不规则的，请反驳以下任何一种： (1( |紫外线|≤ n (2( |v|≥ 1 (3( 对于所有 i ≥ 0：uviw ∈ L 使得 |紫外线 |>= n
让我们假设 L 是正则的，那么通过抽引理，上述给定的规则遵循。 现在，让 x ∈ L 和 |x|≥ n.因此，通过抽引理，存在u，v，w使得(1(-(3(成立。
我们证明，对于所有u，v，w，(1( – (3(不成立。
如果 (1( 和 (2( 保持，则 x = 0^n1^n = uvw 与 |uv| ≤ n 和 |v| ≥ 1。
你是如何划分语言字符串的？如何 w = 0^c1^n？
所以， u = 0^a， v = 0^b， w = 0^c1^n 其中 ： a + b ≤ n， b ≥ 1， c ≥ 0， a + b + c = n
谢谢 拉赫曼
你用n做两件事：语言的定义以及抽水引理的常数。让我们用n_0来表示常量。在您的条件 (iii( 中，最后一个语句应该|uvw| geq n_0，没有指数i。
现在我们可以选择，例如，单词a^{n_0}b^{n_0}，它满足此长度要求。从条件|uv|leq n_0我们直接看到u和v仅由满足抽水引理条件的每个因式分解a的符号组成。因此，uv^iwi>1的任何单词都会比b有更多的a，因此不在语言中，这与条件三相矛盾。