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.

中文翻译：

---

Fibonacci-Thue-Morse 序列的子词复杂度：德金猜想的证明

最近，Dekking 推测了 Fibonacci-Thue-Morse 序列的子词复杂度函数的形式。在这篇笔记中，我们使用免费软件 Walnut 通过纯计算方法证明了他的猜想。