Example State-Next State Table

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