Unless the number of states of an automaton is a prime number, the possibility exists of defining a product automaton. Although such automata occur naturally amongst all the rules of a given type, it is convenient to be able to generate them directly from the rules defining their factors.