Minimal Automaton for Multiplying and Translating the Thue-Morse Set
Minimal Automaton for Multiplying and Translating the Thue-Morse Set
The Thue-Morse set $\mathcal{T}$ is the set of those non-negative integers whose binary expansions have an even number of $1$'s. The name of this set comes from the fact that its characteristic sequence is given by the famous Thue-Morse word
 $${\tt 0110100110010110\cdots},$$
 which is the fixed point starting with ${\tt …