OFFSET
0,3
COMMENTS
f is a "squarefree morphism"; i.e. f(s) is squarefree iff s is squarefree.
For any i>0, f^i(0) has the same number of 0's and 1's and one less 2. The length of f^i(0) is A083066(i) = (4*6^i + 1)/5.
REFERENCES
Jean Berstel and Christophe Reutenauer, Squarefree words, p. 31.
M. Lothaire, Combinatorics on Words, Cambridge University Press, 1997.
EXAMPLE
f(f(0))=01201020121021202101201020121
MATHEMATICA
f[s_] := Flatten[{{0, 1, 2, 0, 1}, {0, 2, 0, 1, 2, 1}, {0, 2, 1, 2, 0, 2, 1}}[[ #+1]]&/@s]; f[f[f[{0}]]]
CROSSREFS
KEYWORD
easy,nonn
AUTHOR
Claude Lenormand (claude.lenormand(AT)free.fr), Jul 29 2003
EXTENSIONS
Edited by Dean Hickerson, Oct 19 2003
STATUS
approved