States Labelling:
---------------
   (a)  Label:
        -----
Default Input Files:  label.data, labevents.data
Default Output File:  label.results


Underlying function: void LabelEvents(FSM*, FILE*)
 
This function is used to label the events differently.  Usually the
need arises when users want to compute the reachability or closure of a
FSM based on a subset of events.  So in order to use the library's
fsm_reachability routine, to compute the reachability on a subset of events,
the appropriate events can be labeled as epsilon events and the epsilon
closure can be computed using the fsm_reachability routine.
The first argument to this function is the pointer to the FSM which needs
some of its event transitions labeled differently.  The second argument is
the pointer to a file which contains the list of events which should NOT be
marked differently.
