Table of a next-state function
State diagram of next-state function
State transitions may be presented either intabular or diagram form.
Example 1.2.1.