Abstract
Let ftm = 0111010010001⋯ be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain the exact value of its maximum order complexity, previously studied by Jamet, Popoli, and Stoll. We strengthen one of their theorems and disprove one of their conjectures.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have