上下文无关语言是可以用上下文无关文法定义的形式语言。所有上下文无关语言的集合同一于下推自动机所接受的语言的集合。
例子.一个原型上下文无关语言是 formula_1，它是所有非空、偶数长度字符串的语言，字符串的整个前半部分都是 formula_2，整个后半部分都是 formula_3。formula_4 由文法 formula_5 生成，并被下推自动机 formula_6 接受，这里的 formula_7 定义如下：上下文无关语言在编程语言中有很多应用。大多数算术表达式可用上下文