我试图证明语言L = {a ^ n！ |使用泵浦引理，n> = 0}不具有上下文无关。但我坚持如何划分为uvxyz本身。由于它只有一个symol，我发现它非常棘手。
答案 0 :(得分：0)
看看从L中抽出一个给定单词w所产生的语言P.在| vy |距离| v |中有w本身和无数多个更长的单词。从下一个，因为每次抽加| vy |符号。
另一方面，两个阶乘之间的差距变得越来越大。显然，例如（| vy | +2）！ - （| vy | +1）！ ＆GT; | VY |。但是这意味着在^（| vy | +1）之间的P中有一些单词！和a ^（| vy | +2）！因为这个词不在L中，所以违反了抽水条件。