Shuffle Product:
---------------
Default Input Files:  shuff_prod1.data, shuff_prod2.data
Default Output File:  shuff_prod.results

shuff_prod.results contains the resultant FSM of shuffle product of shuff_prod1.data FSM and shuff_prod2.data FSM.
Shuffle products returns the language resulting from operating two FSMs unsynchronously.

 
Underlying function: void fsm_shuffle(FSM *fsm1_ptr,FSM *fsm2_ptr,FSM *fsm3_ptr)
Modified Parameters: 
Source: ShuffleProduct.h, fsm_operators.c

Generates the shuffle product of two input FSMs fsm1_ptr and fsm2_ptr.
fsm3_ptr is a pointer to the resultant FSM.