Theory 上下文无关语言的泵引理

为了语言 {a^2^n | n>=0}

---

我知道首先选择了一些k，然后z=uvwxy，这样vx！=EpSimon和VWX

这里有一个提示：如果你考虑两个大于k的幂，即2k，那么2k+k不是2的幂，因为

2k+k<2k+2k=2k+1

看看这是否能指导您选择正确的字符串并找到您选择的i

---

希望这有帮助

这可能更适合math或comp sci堆栈交换站点。