Polishness of some topologies related to word or tree automata

Abstract : We prove that the B\"uchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in particular the B\"uchi and the Muller topologies are not Polish in this case.
Document type :
Preprints, Working Papers, ...
Liste complète des métadonnées

Cited literature [25 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01593160
Contributor : Olivier Finkel <>
Submitted on : Friday, August 24, 2018 - 8:40:32 AM
Last modification on : Wednesday, April 3, 2019 - 1:27:54 AM
Document(s) archivé(s) le : Sunday, November 25, 2018 - 12:52:10 PM

Files

Extended-version-topology-LMCS...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01593160, version 2
  • ARXIV : 1710.04002

Citation

Olivier Finkel, Olivier Carton, Dominique Lecomte. Polishness of some topologies related to word or tree automata . 2018. ⟨hal-01593160v2⟩

Share

Metrics

Record views

73

Files downloads

67