在理论计算机科学中，上下文有关语言是可被上下文有关文法定义的形式语言。它是乔姆斯基层级中的四类文法之一。当然它在理论和实践中都是最少使用的。
计算性质.上下文有关语言的可计算性等价于线性有界非确定图灵机。它是磁带只有 "kn" 个单元的非确定图灵机，这里的 "n" 是输入的大小而 "k" 是与这个机器关联的常数。这意味着可以被这种机器判定的所有形式语言都是上下文有关语言，而所有上下文有关语言都可以被这种机器判定。这种语言的集合也叫做 NLIN-SPACE，因为它们可以在非确定图