A geometric characterization of automatic semigroups
In the study of automatic groups, the geometrical characterization of automaticity (in terms of the "fellow traveller property") plays a fundamental role. When we move to the study of automatic semigroups, we no longer have this simple formulation. The purpose of this paper is to give a general geometric characterization of automaticity in semigroups. (c) 2006 Elsevier B.V. All rights reserved.
automatic semigroup fellow traveller property regular language cayley graph continuation graph