Finite state machine representations
States: determined by possible values in sequential storage elements
Transitions: change of state
Clock: controls when state can change by controlling storage elements
Sequential logic
- sequences through a series of states
- based on sequence of values on input signals
- clock period defines elements of sequence