AUTOMATA , AND GLOBAL SEMIGROUP THEORY