Some subsets of automata over a finite ring

Abstract

Sets of Mealy and Moore automata over an arbitrary finite commutative-associative ring are investigated in which transition and output functions are linear combinations of functions of automaton states and functions of inputs. Subsets of strongly connected, reduced, and reversible automata and automata with permutation transition functions are characterized.