在计算复杂性理论里面, 稀疏语言是一种形式语言 (一堆字串的集合字串)，并且这语言内长度为"n"的字串个数，被一个"n"的多项式所限制住。 这种语言主要被用来研究NP这类语言与其他种类语言的关系。包含所有稀疏语言的复杂度类被称作SPARSE。稀疏语言会被叫做"稀疏"的原因是因为，对任何语言，长度为"n"的字串可能性个数总共有2个，而如果某特定语言只有包含这一些字串里面的多项式个数个，那这语言所包含字串的比例会随着"n"的成长很快的减少。 所有一元语言都是稀疏语言。一个稀疏语言比较不单纯的例子是，某个语言