Rename states (command)

File: rename_states

Description: This program renames states, counting up from one. FSM h and returns FSM h_rn, which contains the renamed states. It stores the mapping of old names to new names in oldstates.txt for later reference.

Input: H.fsm - Input FSM

Output: H_rn.fsm - Output FSM


 * oldstates.txt - old state names mapped to new names