On generating binary words palindromically

From MaRDI portal




Abstract: We regard a finite word u=u1u2cdotsun up to word isomorphism as an equivalence relation on 1,2,ldots,n where i is equivalent to j if and only if xi=xj. Some finite words (in particular all binary words) are generated by "{it palindromic}" relations of the form ksimj+ik for some choice of 1leqileqjleqn and kini,i+1,ldots,j. That is to say, some finite words u are uniquely determined up to word isomorphism by the position and length of some of its palindromic factors. In this paper we study the function mu(u) defined as the least number of palindromic relations required to generate u. We show that every aperiodic infinite word must contain a factor u with mu(u)geq3, and that some infinite words x have the property that mu(u)leq3 for each factor u of x. We obtain a complete classification of such words on a binary alphabet (which includes the well known class of Sturmian words). In contrast for the Thue-Morse word, we show that the function mu is unbounded.











This page was built for publication: On generating binary words palindromically

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