为什么为CFG抽引引理不起作用

Question

语言：

{(a^i)(b^j)(c^k)(d^l) : i = 0 or j = k = l}

我们相信

w = a^0 b^n c^n d^n

显然属于语言，因为j = k = l

w = uvxyz

1. | vxy | <= n

2. | vy | > 1

现在v和y可以是：

1. 只是一个字符，如果我们抽单个字符，该单词将不再是该语言

2. 两个字符，第三个字符的数量会减少，因此该单词不在语言中

因此，该语言不是CF的证明不应与ogdens引理一起用于标准泵送引理，但我不理解为什么以上证明无效。

Answer 1

它不会因为其实每个泵串是在语言的工作，因为你还没有a S（即，I = 0）。

而且，如果您选择i> 0的字符串，则无法保证v不仅a s的某个数字，而且x是空字符串。