Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture
Recently Dekking conjectured the form of the subword complexity function for the Fibonacci-Thue-Morse sequence. In this note we prove his conjecture by purely computational means, using the free software Walnut.
READ FULL TEXT