论文标题
关于斐波那契平等序列的注释
Note on a Fibonacci Parity Sequence
论文作者
论文摘要
令ftm = 0111010010001 ...为斐波那契表示中的thue-morse序列的类似物。在本说明中,我们展示了如何使用核桃定理 - 示威来获得其复杂性的度量,以前由Jamet,Popoli和Stoll研究。我们加强了他们的定理之一,并反驳了他们的猜想之一。
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 a measure of its complexity, previously studied by Jamet, Popoli, and Stoll. We strengthen one of their theorems and disprove one of their conjectures.