Polishness of Some Topologies Related to Automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Polishness of Some Topologies Related to Automata

Olivier Carton
Institut de Recherche en Informatique Fondamentale
CV
Olivier Finkel
  • Fonction : Auteur
  • PersonId : 965092
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üchi topology, the automatic topology, the alphabetic topology and the strong alphabetic topology are Polish, and provide consequences of this.

Domaines

Logique [math.LO]
Fichier principal
Vignette du fichier
LIPIcs-CSL-2017-22.pdf (460.69 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Olivier Finkel  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01590185

Soumis le : mardi 19 septembre 2017-12:46:41

Dernière modification le : mardi 8 octobre 2024-10:43:36

Télécharger pour visualiser

Dates et versions

hal-01590185 , version 1 (19-09-2017)

Identifiants

Citer

Olivier Carton, Olivier Finkel, Dominique Lecomte. Polishness of Some Topologies Related to Automata. 26th EACSL Annual Conference on Computer Science and Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.22:1-22:16, ⟨10.4230/LIPIcs.CSL.2017.22⟩. ⟨hal-01590185⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 UPMC CNRS INSMI IMJ USPC SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES IRIF
170 Consultations
116 Téléchargements

Altmetric

Partager

More