上下文无关语言 上下文无关语言是可以用上下文无关文法定义的形式语言所有上下文无关语言的集合同一于下推自动机所接受的语言的集合