Convert Non-DFSM to DFSM:
------------------------
Default Input File :  ndfsm_to_dfsm.data
Default Output File:  ndfsm_to_dfsm.results

ndfsm_to_dfsm.results contains the deterministic realization of non-deterministic FSM described in ndfsm_to_dfsm.data


Underlying function: void fsm_deterministic(FSM *fsm1_ptr,FSM *fsm2_ptr)
Modified Parameters: fsm2_ptr
Source: NDFSMtoDFSM, fsm_operators.c

This function is used to convert a non-deterministic machine to a
deterministic one.
fsm1_ptr is a pointer to the input non-deterministic FSM.
fsm2_ptr is a pointer to the output deterministic FSM.
