Profinite Methods in Automata Theory
Jean-Éric PinLaboratoire d'informatique Algorithmique : Fondements et Applications
2009en
ABI
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.
Identifiers
Citations and references
Cited by 20 references