How large is the set of disjunctive sequences
We consider disjunctive sequences, that is, infinite sequences (omega-words) having all finite words as infixes. It is shown that the set of all disjunctive sequences can be described in an easy way using recursive languages and, besides being set of measure one, is residual set in Cantor space. Moreover, we consider the subword complexity of sequences: here disjunctive sequences are shown to be sequences of maximal complexity. Along with disjunctive sequences we consider the set of re l numbers having disjunctive expansions with respect to some bases and to all bases. The latter are called absolutely disjunctive real numbers. We show that the set of absolutely disjunctive reals is also residual set and has representations in terms of recursive languages similar to the ones in case of disjunctive sequences. To this end we derive some fundament l properties of the functions translating base r-expansion of real alpha is an element of [0, 1] into alpha.
subword complexity omega-languages nowhere dense sets entropy