OFFSET
1,2
COMMENTS
A square is a nonempty block of the form xx, where x is any block.
There is a 6-state deterministic finite automaton (DFA) that recognizes the members of this sequence, expressed in base 2.
EXAMPLE
At position 1 of Thue-Morse the square 11 begins; at position 2 of Thue-Morse the square 1010 begins; but at position 3 no square begins.
CROSSREFS
KEYWORD
nonn
AUTHOR
Jeffrey Shallit, Jun 27 2021
STATUS
approved