Understanding state machine example

Yes.