state diagram, state table, etc.

Printable View