A FSM that depends on both Circuit State and current input.
For State Diagram, the output is written on the transitions
Circuit Diagram Labelling
Pros
- Sometimes fewer overall states
- Outputs can respond sooner to inputs
Cons
- Potential for long path from input to output to not be stored in a flip flop