state_max_opid
#define INVALID_STATE state_max_opid
char *state_names[state_max_opid];
unsigned char function[state_max_opid][event_max_opid];
bool final_states[state_max_opid];