Intertwining of Complementary Thue-Morse Factors
Formal Languages and Automata Theory
2022-03-08 v1 Discrete Mathematics
Combinatorics
Abstract
We consider the positions of occurrences of a factor and its binary complement in the Thue-Morse word , 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 .
Cite
@article{arxiv.2203.02917,
title = {Intertwining of Complementary Thue-Morse Factors},
author = {Jeffrey Shallit},
journal= {arXiv preprint arXiv:2203.02917},
year = {2022}
}