Structure and Readability

• Asynchronous combinatoric ≠ synchronous storing elements
  => two state processes

 

• FSM states changes with special input changes
  => one state process more comprehensible
• Graphical FSM (without output equations) resembles one state process
  => one state process