Acc (command)

File: acc

Description: This program removes inaccessible states from the given FSM h and returns FSM h_acc which contains only the states accessible from the initial state.

Input: H.fsm - Input FSM

Output: H_acc.fsm - Accessible FSM