The Overlap Gap Between Left-Infinite and Right-Infinite Words
We study ultimate periodicity properties related to overlaps between the suffixes of a left-infinite word [Formula: see text] and the prefixes of a right-infinite word [Formula: see text]. The main theorem states that the set of minimum lengths of words [Formula: see text] and [Formula: see text] such that [Formula: see text] or [Formula: see text] is finite, where [Formula: see text] runs over positive integers and [Formula: see text] and [Formula: see text] are respectively the suffix of [Formula: see text] and the prefix of [Formula: see text] of length [Formula: see text], if and only if [Formula: see text] and [Formula: see text] are ultimately periodic words of the form [Formula: see text] and [Formula: see text] for some finite words [Formula: see text], [Formula: see text] and [Formula: see text].