On the Structures of an Automaton and Its Input Semigroup

Abstract

In this paper, relationships are developed between the structure of an automaton A and the structure of its input semigroup S. For a particular class of automata called "cyclic" automata it is shown that each member of this class can be realized as an intrinsic structure on the semigroup S.