Keyword breakdown is Finite (vs Infinite) and State. I would consider this known states....
Here is an excerpt form the TCP/IP Guide:
One way that computer scientists
explain how a complex protocol works is through a theoretical tool called
a finite state machine (FSM). An FSM attempts to describe a protocol
or algorithm by considering it like a virtual “machine” that
progresses through a series of stages of operation in response to various
happenings. You need to understand four essential concepts to comprehend
the workings of a finite state machine....
....A FSM describes the protocol by explaining
all the different states the protocol can be in, the events that can
occur in each state, what actions are taken in response to the events
and what transitions happen as a result.The protocol usually starts
in a particular beginning state when it is first run. It then
follows a sequence of steps to get it into a regular operating state,
and moves to other states in response to particular types of input or