A Characterization of 2+-free Words over a Binary Alphabet
Arto Lepistö · 1997
It is shown that 2+-repetition, i.e. a word of the form uvuvu where u is a letter and v is a word, is the smallest repetition which can be avoided in infinite words over binary alphabet. Such binary words avoiding pattern uvuvu, finite or infinite, are called as 2+-free words and those words are the main topic of this work. It is shown here that 2+-free words over binary alphabet can be presented as words built from special kind of blocks, called Morse-blocks, with some rules. In particular, the given presentation by these blocks is unique for 2+-free words long enough. Moreover, it is also shown that the language generated by this presentation can be described by some automaton. In fact, the corresponding presentation in blocks for finite 2