Rm state (command)

File: rm_state

Description: This program removes the listed states from the given FSm and returns the new FSM.

Input:   h.fsm - Input FSM


 * del.states - List of states to delete

Output: h_del.fsm - machine with the listed states deleted