Shift-invariant topologies for the Cantor space \(X^{\omega}\) (Q2357113)

The Cantor space, which consists of one-way infinite sequences over a finite alphabet with a natural metric, plays a crucial role in several parts of Theoretical Computer Science. Several topologies other than the standard metric one, which are useful in different applications -- for example, in the study of fragments of first-order logic over infinite sequences or for a topological characterisation of algorithmic random infinite sequences -- are studied. These topologies refine the topology of the Cantor space; a characterisation of a class of topologies satisfying this condition is given. For this class of topologies, the corresponding closure and interior operators respect the shift operations and, to some extent, the definability of sets of infinite sequences by finite automata.