Comp fsm (command)

File: comp_fsm

Description: This program creates and returns the complement of the given FSM, i.e., the language marked by h_comp.fsm is the complement of the language marked by h.fsm with respect to the Kleene closure of the events in h.fsm.

Input: H.fsm - Input FSM

Output: H_comp.fsm - Complement FSM