上下文无关语言
維基百科,自由的
encyclopedia
上下文无关语言
是可以用
上下文无关文法
定义的
形式语言
。所有上下文无关语言的集合同一于
下推自动机
所接受的语言的集合。