See Also

Not recognized as a state machine:

IF state_machine = s0 THEN
   state_machine <= s1;
ELSE
   state_machine <= s2;
END IF;

Recognized as a state machine:

CASE state_machine IS
   WHEN s0=>
      state_machine <= s1;
   WHEN OTHERS =>
      state_machine <= s2;
END CASE;