Understanding state machine example

The example is attached to the first post. A lot of the discussion was about an esoteric point about timing which is now incorporated in the example.

...R