例如，让我们证明L = {0 ^ n1 ^ n | n≥0}是不规则的。
为了证明一种语言是不规范的，请反驳以下任何一项：（1）| uv | ≤n（2）| v | ≥1（3）对于所有i≥0：uviw∈L使得| uviw | > = 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^iw中i>1的任何单词将比a具有更多的b，因此该语言的语言不符合条件号三。