為什么為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是空字符串。