Synchronous (or registered) Mealy machine
Best of both worlds (and common in real world)
- Fewer states than Moore machine
- No race conditions between machines (unlike true Mealy)
- No glitches on outputs (unlike Moore)
- Output logic appears before output flip-flop
combinational logic for outputs and next state