Topologies Refining the Cantor Topology on Xω

Abstract : 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 Cantor-space. Moreover, from common features of these topologies we extract properties which characterise a large class of topologies. It turns out that, for this general class of topologies, the corresponding closure and interior operators respect the shift operations and also, to some respect, the definability of sets of infinite words by finite automata.
Type de document :
Communication dans un congrès
Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.271-285, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_20〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01054453
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 août 2014 - 16:24:58
Dernière modification le : mercredi 9 août 2017 - 12:03:23
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 00:58:12

Fichier

03230271.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Sibylle Schwarz, Ludwig Staiger. Topologies Refining the Cantor Topology on Xω. Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.271-285, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_20〉. 〈hal-01054453〉

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

63