语言A = {0 ^ n 1 ^ n 0 ^ n}上下文是否空闲?

Ton*_*ony 6 computer-science context-free-grammar

我只是想到了不同的语言(因为我正在审查即将开始的期末考试)而且我想不出一个有效的下推自动机来处理语言A = {0 ^ n 1 ^ n 0 ^ n | n> = 0}.这不是一种无上下文的语言,我是否正确?

Sam*_*amB 6

我相信你是.它看起来非常类似于语言L = {a ^ ib ^ ic ^ i | i> 0}维基百科关于抽取引理的文章用作如何证明语言不是无上下文的例子.