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 
.
