Profinite Methods in Automata Theory
Jean-Éric Pin · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 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.