Multiple File (Non-Strict) Synchronous Composition:
--------------------------------------------------
Default Input File: mfile_sync.data
Default Output File: mfile_sync.results

mfile_sync.data contains a list of FSM files to do synchronous composition between.
mfile_sync.results contains synchronous composition of all FSM files listed in mfile_sync.data


Underlying Functions: multiplefile_complete_fsm_sync_comp(FILE*, FSM*)

This function constructs a state machine which is the synchronous composition of two or more 
   given state machines. The resultant state machine accepts the language which is
   the intersection of the languages accepted by the input state machines.

   The first argument is file pointer to the file containing the input names files for the
   sync comp operation.
   The second argument is file pointer to the file containing the resultant fsm after the 
   sync comp operation.


