一元語言 在計算複雜度理論內一元語言或者結算語言是一種形式語言 由字串組成的集合裡面所有的字串都是像k的形式這裡的可以是任何的符號例如  就是一個一元語言或是像k  k是 質數這一類語言的複雜度類有時被叫做TALLY