Discrete Mathematics & Theoretical Computer Science (Jan 2007)
Latin Square Thue-Morse Sequences are Overlap-Free
Abstract
We define a morphism based upon a Latin square that generalizes the Thue-Morse morphism. We prove that fixed points of this morphism are overlap-free sequences, generalizing results of Allouche - Shallit and Frid.