Example State-Next State Table

State - Next State:

The rows and columns both indicate states, and the cell at the intersection of a row and column indicates:

·The event that triggers a transition from the current (row) state to the next (column) state
·The condition (or guard) of the event, and
·The effect of the transition