##### 上下文无关语言 - 上下文无关语言 - **上下文无关语言**是由[[上下文无关语法]]生成, 可以被[[下推自动机]]识别的[[形式语言]], 上下文无关语言是比[[正则语言]]更强大的一类语言, 常用于编程语言语法和编译器设计. [[泵引理]]描述了所有上下文无关语言的一个基本属性, 可用于证明某种语言不是上下文无关语言