为什么以下语言满足cfl

Question

L = {a ^ n b c ^ 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

引理说有可以抽取的因子分解。并非所有可能的因子分解都可以被抽取。

你的因素分析确实会超出语言范围，但还有其他因素没有。