%I #11 Dec 24 2023 17:00:04
%S 1,12,1221,12212112,1221211221121221,12212112211212212112122112212112,
%T 1221211221121221211212211221211221121221122121121221211221121221
%N Successive words in the formal D0L language that produces the Thue-Morse sequence A001285 (start with 1, map 1 -> 12, 2 -> 21).
%D A. Salomaa, Jewels of Formal Language Theory. Computer Science Press, Rockville, MD, 1981, p. 5.
%H Jarosław Grytczuk, <a href="http://dx.doi.org/10.1016/j.disc.2007.08.039">Thue type problems for graphs, points and numbers</a>, Discrete Math., 308 (2008), 4419-4429.
%t Map[FromDigits,SubstitutionSystem[{1->{1,2},2->{2,1}},{1},7]] (* _Paolo Xausa_, Dec 24 2023 *)
%Y Cf. A001285 (which is the limiting word), A010060, A080815.
%K nonn
%O 1,2
%A _N. J. A. Sloane_, Mar 26 2003