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