Topologies refining the Cantor topology on X ω

@inproceedings{Schwarz2010TopologiesRT,
  title={Topologies refining the Cantor topology on X ω},
  author={Sibylle Schwarz and Ludwig Staiger},
  year={2010}
}
The space of one-sided infinite words plays a crucial rôle in several parts of Theoretical Computer Science. Usually, it is convenient to regard this space as a metric space, the Cantor-space. It turned out that for several purposes topologies other than the one of the Cantor-space are useful, e.g. for studying fragments of first-order logic over infinite words or for a topological characterisation of random infinite words. It is shown that both of these topologies refine the topology of the… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Fragments of First-Order Logic over Infinite Words

Theory of Computing Systems • 2010
View 4 Excerpts
Highly Influenced

Finite Automata, Behaviour and Synthesis Nauka Publishers, Moscow 1970

B. A. Trakhtenbrot, Barzdin, Ya.M
(Russian; English translation: North Holland, • 1973
View 4 Excerpts
Highly Influenced

Weighted Finite Automata and Metrics in Cantor Space

Journal of Automata, Languages and Combinatorics • 2003
View 2 Excerpts

Finite-State omega-Languages

J. Comput. Syst. Sci. • 1983
View 3 Excerpts

Similar Papers

Loading similar papers…