上下文相关文法(context-sensitive language)一种短语结构文法.

是乔姆斯基(Chomsky, N.)引进的.设G=(V,T,P,s)为一个短语结构文法，若限定式中的所有产生式a-大于b都满足下列条件:b的长度不小于a之长度.则称G为上下文相关文法.由上下文相关文法产生的语言称为上下文相关语言.上下文相关语言都是递归的，但反之不然.