的例子是，某个语言包含所有恰有"k"个1(k是某个常数)的二进位字串，; 对任何长度"n", 这个语言仅包含formula_1个字串, 而这个数字则被 "n"给限制住。
与其他语言的关系.SPARSE包含了TALLY(包含所有一元语言的复杂度类)，因为TALLY里面每一种长度的字串至多只有一个。虽然并非所有的P/poly语言都是稀疏语言，但对任何在P/poly里面的语言均存在一个将之转换为稀疏语言的多项式时间变换。 在1979年，Fortune 证明若任何稀疏语言是co-NP-完全