Unary context-free language is regular
ID: unary-context-free-language-is-regular
Every context-free language over a one-symbol alphabet is a regular language. Equivalently, the set of word lengths of a unary context-free language is ultimately periodic. This follows, for example, from the one-dimensional case of Parikh's theorem.
New to topics? Read the docs here!