Quotient:
--------
Default Input Files:  quo1.data, quo2.data
Default Output File:  quo.results

quo.results contains the resulting FSM of quotient operation between quo1.data FSM and quo2.data FSM.
Quotient operation removes quo2.data FSM suffix from quo1.data FSM.


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

Generates the quotient of the two input state
machines fsm1_ptr and fsm2_ptr.
fsm3_ptr is a pointer to the FSM result.
