Two-block substitutions and morphic words (Q6044318)

The most interesting example of a two-block substitution that is not two-block stable is the Oldenburger-Kolakoski two-block substitution. The fact that it is not two-block stable and so its iterates are not defined makes it very hard to establish properties for the corresponding fixed points. In this paper the authors prove that even if a two-block substitution is not two-block stable, it can still be well-behaved, in the sense that its fixed points are pure morphic words. Then they prove that the Thue-Morse word in base 3/2 is not well-behaved: it can not be generated as a coding of a fixed point of a morphism, presenting in parallel a remarkable contrast with the behaviour of the sum of digits function.