1. A table describing the behaviour of a sequential circuit as a function of stable internal conditions—states—and input variables. For each combination of these, the next state of the circuit is specified together with any output variables.
2. See finite-state automaton.