Intertwining of Complementary Thue-Morse Factors

MaRDI QIDQ6392914arXivFDO

Authors Jeffrey Shallit

Publication date 6 March 2022

Published in arXiv

Mathematics Subject Classification ID

Automata sequences (11B85) Combinatorics on words (68R15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

arXiv classification

cs.DMcs.FLmath.CO

Abstract: We consider the positions of occurrences of a factor $x$ and its binary complement $overlinex$ 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 $varphi$, and then using a theorem-prover to prove $varphi$.

This page was built for publication: Intertwining of Complementary Thue-Morse Factors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6392914)