typedef struct rset // reachable set
{
unsigned char final_state;
unsigned short int current_state;
unsigned short int a_state;
unsigned short int b_state;
NODE* node;
struct rset* next;
}RSET;
RSET* rset_head; // reachable set head
RSET* rset_tail; // reachable set tail