Minimization:
------------
Default Input File :  min.data
Default Output File:  min.results

min.results contains the minimal realization of min.data FSM


Underlying function: int fsm_minimize(FSM *fsm_ptr)
Modified Parameters: FSM *fsm_ptr, integer return
Minimization.h, fsm_operators.c
 
Minimizes a state machine.
fsm_ptr is a pointer to the machine to be minimized.
fsm_ptr also contains the result minimal machine.
Returns integer 1 if the input machine was itself minimal, 0 otherwise.
