State Machines Three Types
Binary: The States have a counter like progression S1 = 001, S2=010, S3=011, S4=100, etc…
Enumerated: The States have assigned values S1=100, S2=110, S3=101, S4 = 111, etc…
One Hot: Only 1 register is active for each state S1=00000001, S2=00000010, S3=00000100, etc…
Binary and Enumerated have lots of feedback to make the present state to next state jump. This is good for CPLDs like the XC9500.