pumping-lemma - 为什么以下语言满足 cfl 的抽水引理

Question

L = {a^nbc^n| i 大于 1 且小于 100 ，n 大于 1}

我想我误解了cfl 的抽引引理。为什么我不能选择一个单词 z = a^ncb^n 然后将其拆分为 u= a^sv = a^ns w=epsilon x=b ,y= b^n 然后用 i=0 泵送它然后得到一个矛盾因为 0 b 不满足语言？我可能在这里遗漏了一些东西。

Answer 1

引理说有一个可以抽的因式分解。并不是说所有可能的分解都可以被抽出。

您的因式分解确实会导致语言之外的内容，但还有其他人不会。