Profinite Methods in Automata Theory - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2009

Profinite Methods in Automata Theory

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

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.

Domaines

Informatique et langage [cs.CL] Systèmes dynamiques [math.DS]
Fichier principal
Vignette du fichier
03-pin.pdf (296.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Publications Loria  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 9 février 2009-10:51:02

Dernière modification le : lundi 22 avril 2024-15:34:56

Archivage à long terme le : mardi 8 juin 2010-22:05:09

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS LIAFA STACS2009 TDS-MACS
271 Consultations
1087 Téléchargements

Partager

More