Accessibility 

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

Example

H

Output machine

H FSM

Output FSM

States C2 and C3 are not present in the output machine because they are not accessible from the initial state (A).