Profinite Methods in Automata Theory - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Profinite Methods in Automata Theory

Résumé

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.
Fichier principal
Vignette du fichier
03-pin.pdf (296.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00359677 , version 1 (09-02-2009)

Identifiants

  • HAL Id : inria-00359677 , version 1

Citer

Jean-Eric Pin. Profinite Methods in Automata Theory. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.31-50. ⟨inria-00359677⟩
266 Consultations
1078 Téléchargements

Partager

More