(All examples so far generate output based only on present state.)
 

In general:  log (# of states) >= # of FFs >= # of states

One-hot encoding of states (one FF per state):
 

 

• Simple design procedure
• circuit matches state transistion diagram
• can be costly for FSMs with large number of states