semiautomaton

Noun

 * 1)  a multiplicative operation of a monoid on a set