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

Profinite Methods in Automata Theory

Jean-Eric Pin
Laboratoire d'informatique Algorithmique : Fondements et Applications

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.

Domains

Computation and Language [cs.CL] Dynamical Systems [math.DS]
Fichier principal
Vignette du fichier
03-pin.pdf (296.45 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Publications Loria  : Connect in order to contact the contributor

https://inria.hal.science/inria-00359677

Submitted on : Monday, February 9, 2009-10:51:02 AM

Last modification on : Monday, April 22, 2024-3:34:56 PM

Long-term archiving on : Tuesday, June 8, 2010-10:05:09 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : inria-00359677 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS LIAFA STACS2009 TDS-MACS
266 View
1078 Download

Share

More