Explore relationships

Unary language

In computational complexity theory, a unary language or tally language is a formal language (a set of strings) where all strings have the form 1, where "1" can be any fixed symbol. For example, the language {1, 111, 1111} is unary, as is the language {1 | k is prime}.

Use + to expand a branch. Click a topic name to open its summary.