标签： pumping-lemma
我试图证明以下语言不是上下文：
{a^n b^m a^n b^m : n,m >= 0}
我知道我需要使用泵浦引理。所以我必须使用w = uvxyz其中| vy | ＆GT; 0和| xyz | ＆GT; p（泵送长度）。我知道我需要证明，当为每个案例抽出一个字符串时，我不需要语言。
我知道v ^ i或y ^ i包含某些内容而另一种是空的情况，但我不知道该为我的字符串选择什么。