Synchronous (or registered) Mealy machine
Basically a Moore machine without output decoding
- Registered state and registered outputs
- No glitches on outputs
- No race conditions between communicating machines
combinational logic for outputs and next state