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

-----------------------------------------
void init_rset() // initialize reachable set
{
rset_head = (RSET *)malloc(sizeof(RSET));
rset_tail = (RSET *)malloc(sizeof(RSET));

rset_head->next = rset_tail;
rset_tail->next = rset_tail;
}

void cleanup_rset() // clean up reachable set
{
RSET* prev = rset_head->next;
RSET* temp;

while(prev != rset_tail)
{
temp = prev;
prev = prev->next;
free(temp);
}

free(rset_head);
free(rset_tail);
}

중간에 연결이 되지않는데요;;제가 이해가지 않는 소스만 추렸습니다..

워낙 초보다보니 해석하는데 어려움이 많아서 도움 요청합니다..

자세한 주석문 부탁드립니다..