A type of state machine in which the outputs are a function of the inputs and the current state.
Mealy, George H., A Method for Synthesizing Sequential Circuits, in The Bell System Technical Journal, Vol. 34, American Telephone and Telegraph Company (September 1955).