在计算复杂性理论里面, 稀疏语言是一种形式语言 (一堆字串的集合字串)，并且这语言内长度为n的字串个数，被一个n的多项式所限制住。 这种语言主要被用来研究NP这类语言与其他种类语言的关系。包含所有稀疏语言的复杂度类被称作SPARSE。

稀疏语言会被叫做稀疏的原因是因为，对任何语言，长度为n的字串可能性个数总共有2个，而如果某特定语言只有包含这一些字串里面的多项式个数个，那这语言所包含字串的比例会随着n的成长很快的减少。 所有一元语言都是稀疏语言。一个稀疏语言比较不单纯的例子是，某个语言包含所有恰有k个1(k是某个常数)的二进位字串，; 对任何长度n, 这个语言仅包含个字串, 而这个数字则被 n给限制住。

In computational complexity theory, a sparse language is a formal language (a set of strings) such that the complexity function, counting the number of strings of length n in the language, is bounded by a polynomial function of n. They are used primarily in the study of the relationship of the complexity class NP with other classes. The complexity class of all sparse languages is called SPARSE.