标签： context-free-grammar pumping-lemma
可能重复： Closure properties of context free languages
我试图证明语言L = {a ^ n * b ^ 2n A ^ n：n> = 0}不是上下文自由但我尝试了泵理论但我找不到一个状态，如果我泵然后它超出了语言