上下文无关语言

上下文无关语言是可以用上下文无关文法定义的形式语言。所有上下文无关语言的集合同一于下推自动机所接受的语言的集合。一个原型上下文无关语言是 ，它是所有非空、偶数长度字符串的语言，字符串的整个前半部分都是a，整个后半部分都是b。