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 <>
Submitted on : Monday, February 9, 2009 - 10:51:02 AM
Last modification on : Saturday, March 28, 2020 - 2:21:50 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

370

Files downloads

1003