Supremal Controllable Sublanguage:
---------------------------------
Default Input Files:  supcon_plant.data, supcon_spec.data, (supcon_plant.data_events)
Default Output File:  supcon.results

supcon_plant.data corresponds to the plant FSM.
supcon_spec.data is the specification FSM file.
supcon_plant.data_events contains the controllability info of the plant FSM (masking info provided is ignored). 
supcon_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.
supcon.results is the supremal controllable sublanguage of plant supcon_plant.data FSM and spec supcon_spec.data FSM using controllability information in supcon_plant.data_events file.
 

Underlying function: void fsm_sup_con_sublang(FSM *fsmL,FSM *fsmK,FSM *fsmLK, FILE *fpuncevents)
Modified Parameters: FSM *fsm3_ptr
Temporary Files Used: clist0.tmp, tmplist.out, tmpfsm.out
Source: SupremalContSubLang.h, fsm_operators.c
 
This function is used to compute the supremal controllable sublanguage of a language K with respect to another
language L.  The first argument is a pointer to the machine representing L, the second a pointer to the machine
representing K while the third argument is a pointer to the structure in which the result is to be returned.
fpuncevents is a file with list of uncontrollable events that is generated before the function call.