Profinite Methods in Automata Theory

Abstract : This survey paper presents the success story of the topological approach to automata theory. It is based on profinite topologies, which are built from finite topogical spaces. The survey includes several concrete applications to automata theory.
Type de document :
Communication dans un congrès
Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp.31-50, 2009, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00359677
Contributeur : Publications Loria <>
Soumis le : lundi 9 février 2009 - 10:51:02
Dernière modification le : jeudi 25 janvier 2018 - 12:24:02
Document(s) archivé(s) le : mardi 8 juin 2010 - 22:05:09

Fichier

03-pin.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00359677, version 1

Collections

Citation

Jean-Eric Pin. Profinite Methods in Automata Theory. Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp.31-50, 2009, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science. 〈inria-00359677〉

Partager

Métriques

Consultations de la notice

310

Téléchargements de fichiers

553