论文标题
互补thue-morse因素的交织
Intertwining of Complementary Thue-Morse Factors
论文作者
论文摘要
我们考虑了因子$ x $的出现位置及其二进制补语$ \ operline {x} $在thue-morse word $ {\ bf t} = {\ tt 01101001} \ cdots $中，并显示这些事件在本质上是两种不同的方式。我们的证明方法包括将所需的属性说为一阶逻辑公式$φ$，然后使用定理 - 示威者证明$φ$。
We consider the positions of occurrences of a factor $x$ and its binary complement $\overline{x}$ in the Thue-Morse word ${\bf t} = {\tt 01101001} \cdots$, and show that these occurrences are "intertwined" in essentially two different ways. Our proof method consists of stating the needed properties as a first-order logic formula $φ$, and then using a theorem-prover to prove $φ$.
