Co acc (command)

File: co_acc.c

Description: This program obtains the co-accessible part of the FSM h. A co-accessible machine is an accessible machine such that any state can reach a marked state.

Input: H.fsm - Input FSM

Output: H_co_acc.fsm - Co-accessible FSM