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