Recently F. M. 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猜想的证明

最近，FM Dekking猜想了斐波那契-色相-摩尔斯序列的子词复杂度函数的形式。在本文中，我们使用免费软件Walnut通过纯计算手段证明了他的猜想。