"The output function maps each state to an output such that the output is a function of the present state of the Moore machine." . . . .