semiautomaton (automaton + semi-): a multiplicative operation of a monoid on a set