Supcon std (command)

File: supcon_std

Description: This program builds a machine, H_sup.fsm, whose marekd language is the supremal controllable sublanguage of L_m(H) with respect to L(G) and the set of uncontrollable events in G.fsm.

Input:   H.fsm      - Input FSM


 * G.fsm      - Reference FSM


 * printf_flag - Specifies option to show the steps of the iterative procedure, namely which states of H are deleted due to the contorllability condition and which are deleted in the trim, at each iteration. Value of 1 will print the steps. Any other value or no value will not.

Output: H_sup.fsm - FSM representing Supremal Controllable