对长度为"n"的字串至多只有一个，所以对长度至多为"n"的字串也只有"n"个(合乎稀疏语言的定义)，但是并非所有的稀疏语言都是一元语言；因此TALLY包含在SPARSE里面。 Piotr Berman 在1978年证明了若任何一元语言是NP-完全，则P = NP, Mahaney则将这个结果一般化到稀疏语言上面。