How do you simplify a state machine without losing behaviour? I explain how I approached state-machine minimization, equivalent states, and reducing complexity.

How do you simplify a state machine without losing behaviour? I explain how I approached state-machine minimization, equivalent states, and reducing complexity.