Rename:
------
Default Input File :  rename.data
Default Output File:  rename.results
 
rename.results contains the rename.data FSM with its states renamed.
The states are named in sequence with the following character strings:
"a00", "a01", ..., "a99", "b00", ..., "z00", ..., "z99".

Useful when the names of states of a FSM get too large or
awkward to read. The function can generate up to 2600 unique names.
The function takes one argument which is a pointer to the machine whose
states are to be renamed.


Underlying function: void fsm_rename(FSM *fsm_ptr)
Modified Parameters: fsm_ptr
Source: Rename.h, fsm_general.c

Renames all the states of a FSM.
fsm_ptr is a pointer to an FSM to be renamed.
fsm_ptr contains the resulting renamed FSM.
