state_max_nomiss
#define INVALID_STATE state_max_nomiss
char *state_names[state_max_nomiss];
unsigned char function[state_max_nomiss][event_max_nomiss];
bool final_states[state_max_nomiss];