Slide 55 of 65
Notes:
This is the state transition process for the state machine. Note the default assignment of next_state = present_state which is only really required for (some) synthesis tools.