Supcon1 (command)

File: supcon1

Description: This program builds a machine, H_sup.fsm, whose marked language is the supremal controllable sub-language of L(H) with respect to L(G) and the given set of uncontrollable events.

Input:   H.fsm - Input FSM


 * G.fsm - Reference FSM


 * uc.events - (optional) if used, will override uncontrollable events specified in g.fsm

Output: H_sup.fsm - FSM for Supremal Controllable Sublanguage

