果一个语言是不可决定的, 那这个语言的一元版本也是不可决定的(没有变得比较简单)。
与其他复杂度类的关系.TALLY包含在内，因为我们可以对每一个"k"用一个一位元的建议字串来分辨1 是否在这个语言中。任何一元语言都必然是属于稀疏语言, 因为对任何自然数"n"，一元语言对长度为"n"的字串至多只有一个，所以对长度至多为"n"的字串也只有"n"个(合乎稀疏语言的定义)，但是并非所有的稀疏语言都是一元语言；因此TALLY包含在SPARSE里面。 Piotr Berman 在1978年证