HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

https://hal.inria.fr/inria-00359677
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, February 9, 2009 - 10:51:02 AM
Last modification on : Saturday, November 20, 2021 - 3:49:43 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 10:05:09 PM

File

03-pin.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00359677, version 1

Citation

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⟩

Share

Metrics

Record views

195

Files downloads

874