The basis of the finite state machine.