68R15

The full Kolakoski shift is topologically transitive

We prove that the full Kolakoski shift---namely, the subshift of all smooth sequences over the alphabet $\lbrace1,2\rbrace$---is topologically transitive. Consequently, we demonstrate the existence of a smooth sequence whose factors are invariant …