Noun
semiautomaton (plural semiautomata) (mathematics, computer science) a multiplicative operation of a monoid on a set