Characteristic morphisms of generalized episturmian words

摘要

In a recent paper with L.Q, Zamboni, the authors introduced the class of v-episturmian words. An infinite word over A is standard v-episturmian, where v is an involutory antimorphism of A~+, if its set of factors is closed under v and its left special factors are prefixes. When v is the reversal operator, one obtains the usual standard episturmian words. In this paper, we introduce and study v-characteristic morphisms, that is, morphisms which map standard episturmian words into standard v-episturmian words. They are a natural extension of standard episturmian morphisms. The main result of the paper is a characterization of these morphisms when they are injective. In order to prove this result, we also introduce and study a class of biprefix codes which are overlap-free, i.e., any two code words do not overlap properly, and normal, i.e., no proper suffix (prefix) of any code-word is left (right) special in the code. A further result is that any standard v-episturmian word is a morphic image, by an injective v-characteristic morphism, of a standard episturmian word.