Moore machines
State machines where output depends only on current state. Moore machines often require more states than Mealy machines but separate input logic from output. Output is associated with states.
Formula
λ(state) = output
Real World
Traffic lights at a UK junction operate like a Moore machine: the output (red, amber, or green light) depends only on the current state, not on whether a car has just arrived at the sensor.
Exam Focus
Label outputs inside state circles, not on arrows — and expect Moore machines to need more states than equivalent Mealy machines.
How well did you know this?