里的"1"可以是任何的符号）。例如，{1, 111, 1111}就是一个一元语言,或是像{1 | "k"是 质数}。这一类语言的复杂度类有时被叫做TALLY。
理论."一元"这个名字的起源来自于我们可以将一元语言视为将语言转成自然数后，再以一进位系统转出来产生的语言。既然所有语言的字串均可以视作有限字母的集合，故字串的集合必然属于可数集。所以我们可以将任何语言内所有字串一一对应到一个自然数的集合A; 因此之故，我们可以知道，任何语言均有它的"一元版本"{1 | "k" 属于A}。