Polishness of some topologies related to word or tree automata - Archive ouverte HAL
Article Dans Une Revue Logical Methods in Computer Science Année : 2019

Polishness of some topologies related to word or tree automata

Olivier Carton
Institut de Recherche en Informatique Fondamentale
CV
Olivier Finkel
  • Fonction : Auteur
  • PersonId : 924907
Institut de Mathématiques de Jussieu - Paris Rive Gauche
Dominique Lecomte
  • Fonction : Auteur
  • PersonId : 840880
  • IdRef : 157131912
Institut de Mathématiques de Jussieu - Paris Rive Gauche

Résumé

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.

Domaines

Logique [math.LO] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
Published-paper-LMCS-2019.pdf (427.86 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Olivier Finkel  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01593160

Soumis le : vendredi 10 mai 2019-09:51:13

Dernière modification le : mercredi 30 octobre 2024-13:33:45

Télécharger pour visualiser

Dates et versions

hal-01593160 , version 1 (05-10-2017)
hal-01593160 , version 2 (24-08-2018)
hal-01593160 , version 3 (10-05-2019)

Identifiants

Citer

Olivier Carton, Olivier Finkel, Dominique Lecomte. Polishness of some topologies related to word or tree automata. Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(2:9)2019⟩. ⟨hal-01593160v3⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS INSMI IMJ USPC SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES IRIF
330 Consultations
197 Téléchargements

Altmetric

Partager

More