Ctrb (command)

File: ctrb

Description: This program tests for the language controllability of a given FSM H with respect to another FSM G and with respect to a set of uncontrollable events. Optionally, the uncontrollable events set may be specified in the .events file which will override specifications in G.

Input:   H - Input FSM


 * G - Reference FSM


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

Output: If L(H) is controllable with respect to L(G) and the set of uncontrollable events specified.