Non-Strict Synchronous Composition:
-----------------------------------
Default Input Files:  e1.data, e2.data
Default Output File:  complete_sc.results
 
complete_sc.results contains the non-strict synchronous composition of 
e1.data FSM and e2.data FSM.

Non-strict synchronous is obtained by performing the following:
e1.data FSM is augmented with events only in e2.data FSM;
e2.data FSM is augmented with events only in e1.data FSM;
Strict synchronous composition of the two FSMs is then performed.


Underlying function: void complete_fsm_sync_comp(FSM *fsm1_ptr, FSM *fsm2_ptr, FSM *fsm3_ptr);
Modified Parameters: FSM *fsm3_ptr
Source: CompSynchComp.h, fsm_operators.c

Constructs a state machine which is the non-strict synchronous composition of two given state machines fsm1_ptr and fsm2_ptr.  The resultant state machine fsm3_ptr accepts the language which is the intersection of the languages accepted by the two input state machines.