The specific dynamic recursive DEDS automaton generated for the test was a state machine .
Where
{Initial,EOF,Error,A,B,C,D}and
{1,2,3,4,5,6,7,8,9,eof}. The state transitions were controlled by
the input signals supplied by intermediate vision programs. There are four stable states A,B,C, and D
that describe the state of the probe and part in the scene. The three other
states, Initial, Error, and EOF specify the actual state of the system in
special cases. The states can be interpreted as: