Profinite Methods in Automata Theory - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Profinite Methods in Automata Theory


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : inria-00359677 , version 1


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⟩
207 View
990 Download


Gmail Facebook X LinkedIn More