Moore machine

A Moore machine is a discrete finite automaton with output. A Moore machine is specified in the same way as previous FAs, but with the addition of $\Delta$ and $\lambda$:

• $\Delta$ is the output alphabet
• $\lambda(Q) \rightarrow \Delta$ ($\lambda$ maps states to outputs)