Infcon (command)

File: infcon

Description: This function generates a new machine H.fsm that represents the infimal closed and controllable superlanguage of a given language (represented by H0.fsm) with respect to a second closed language (represented by G.fsm).

Input:   H0.fsm - Input FSM


 * G.fsm - Reference FSM


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

Output: H.fsm - Machine representing infimal closed and controllable superlanguage