 |
|
|
|
| HAL : inria-00359677, version 1 |
| Voir la fiche détaillée |  BibTeX,EndNote,... |
|
|
| 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Freiburg : Germany (2009) |
|
|
|
|
| Profinite Methods in Automata Theory |
|
|
| Jean-Eric Pin 1 |
|
|
| (2009) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Informatique et langage Mathématiques/Systèmes dynamiques |
|
|
| profinite topology – regular languages – uniform space – finite automata |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| inria-00359677, version 1 | |
| http://hal.inria.fr/inria-00359677 | |
| oai:hal.inria.fr:inria-00359677 | |
| Contributeur : Publications Loria | |
| Soumis le : Lundi 9 Février 2009, 10:51:02 | |
| Dernière modification le : Mercredi 11 Février 2009, 14:46:27 | |
