FSM Setup
Number of States
Encoding Type
One-Hot
Binary
Gray Code
Number of Input Bits
Number of Output Bits
Machine Type
Moore (Output depends on State)
Mealy (Output depends on State & Input)
Next: Define Transitions