Finite state automata: A geometric approach

Recently, finite state automata, via the advent of hyperbolic and automatic groups, have become a powerful tool in geometric group theory. This paper develops a geometric approach to automata theory, analogous to various tech niques used in combinatorial group theory, to solve various problems on the overlap between group theory and monoid theory. For instance, we give a ge ometric algorithm for computing the closure of a rational language in the p rofinite topology of a free group. We introduce some geometric notions for automata and show that certain important classes of monoids can be describe d in terms of the geometry of their Cayley graphs. A long standing open que stion, to which the answer was only known in the simplest of cases (and eve n then was non-trivial), is whether it is true, for a pseudovariety of grou ps H, that a T-trivial co-extension of a group in H must divide a semidirec t product of a T-trivial monoid and a group in H. We show the answer is aff irmative if H is closed under extension, and may be negative otherwise.