The simplest algebraic language, denoted . If
is the alphabet
, then
is the set of words
of
which satisfy
1. , where
is the numbers of letters
in the word
, and
2. if is factored as
, where
and
are words of
, then
.