Supremal Normal & Controllable Sublanguage:
-------------------------------------------
Default Input Files:  supconnorm_plant.data, supconnorm_spec.data, (supconnorm_plant.data_events)
Default Output File:  supconnorm.results

supconnorm_plant.data contains the plant FSM.
supconnorm_spec.data is the specification FSM file.
sunconnorm_plant.data_events contains the controllability and masking info of the plant FSM.
supconnorm_plant.data_events is obtained automatically by concatenating "_events" to the first input filename. 
supcon_plant.data_events is to be created before running this function through "Cont/Mask Info Table" in the GUI. Do not specify this event file as one of the input files.
supconnorm.results is the supremal controllable normal sublanguage of plant supconnorm_plant.data FSM and spec supconnorm_spec.data FSM using controllability and masking information in supconnorm_plant.data_events file.


Underlying function: void fsm_sup_cont_norm_sublang(FILE* fpmaskinfo,FILE* fpuncevents, FSM* fsmG, FSM* fsmH, FSM* fsmResult)
Modified Parameters: FSM* fsmResult
Temporary Files Used: mlist0.tmp, clist0.tmp, trlist.tmp
Source: SupConNorm.h, fsm_operators.c

Generates the supremal controllable and normal sublanguage of the language G (supconnorm_plant.data ) with respect to another language H (supconnorm_spec.data), mask M (fpmaskinfo), and controllability info C (fpuncevents).

fpmaskinfo is a file pointer containing information about the mask M.  Generated from supconnorm_plant.data_events before calling this function.
fpuncevents is file pointer containing information about the controllability info C  Generated from supconnorm_plant.data_events before calling this function.
fsmG is a pointer to the state machine which is a generator for G.
fsmH is a pointer to the state machine which is a generator for H.
fsmResult is a pointer to the resultant state machine


