Построение 2 конечных автоматов по регулярным грамматикам

[Otar4ik]

Добрый день,это снова я беспокою.
Я разобрался в структурах struct rule и struct grammar но не могу понять для чего нужны struct t и nt(это получается терминалы и нетерминалы)

и вот в этой части как я понял происходит построение конечного автомата?

void parse_a(char* a)
{
struct buf bf;
int i;
int state = 0;
for (i=0, state = 0; a[i]!='\0'; i++)
{
switch(a[i])
{
case '0': case '1': case '2': case '3': case '4': case '5': case '6': case '7': case '8': case '9':
case 'A': case 'B': case 'C': case 'D': case 'E': case 'F': case 'G': case 'H': case 'I': case 'J': case 'K': case 'L': case 'M': case 'N': case 'O': case 'P': case 'Q': case 'R': case 'S': case 'T': case 'U': case 'V': case 'W': case 'X': case 'Y': case 'Z': case 'a': case 'b': case 'c': case 'd': case 'e': case 'f': case 'g': case 'h': case 'i': case 'j': case 'k': case 'l': case 'm': case 'n': case 'o': case 'p': case 'q': case 'r': case 's': case 't': case 'u': case 'v': case 'w': case 'x': case 'y': case 'z': 
bf.add(a[i]); 
printf("a bf: "); 
bf.print(); 
printf("\n"); 
break;
case ';':  
switch(state) 
{ 
case 0: if (lnt == 0) 
{  
     lnt = new nt(); lnt->add(bf.x); 
     } 
     else 
     { 
          lnt->add_next(bf.x);
          } 
          bf.del(); 
          break; 
case 1: 
     if (lt == 0) 
     {
            lt = new t(); 
            lt->add(bf.x); 
            } 
            else 
            { 
                 lt->add_next(bf.x);
                 } 
                 bf.del(); 
                 break; 
case 2: 
     if (ltable == 0) 
     {
                ltable = new table(); 
                } 
                bf.del();  
                break; 
case 3: 
     if (lst == 0) 
     {
             lst = new st(); 
             lst->add(bf.x); 
             } 
             else 
             { 
                  lst->add_next(bf.x);
                  } 
                  bf.del();  
                  break; 
default:
         break; 
         } 
state++; 
break;
case ',': 
switch(state) 
{ 
case 0: 
     if (lnt == 0) 
     {  
             lnt = new nt(); 
             lnt->add(bf.x); 
             } 
             else 
             { 
                  lnt->add_next(bf.x);
                  } 
                  bf.del();
                   break; 
case 1: 
     if (lt == 0) 
     {
            lt = new t(); 
            lt->add(bf.x); 
            } 
            else 
            { 
                 lt->add_next(bf.x);
                 }
                  bf.del(); 
                   break; 
case 2: 
     if (ltable == 0) 
     {
                ltable = new table();
                 } 
                 bf.del(); 
                  break; 
case 3: 
     if (lst == 0) 
     {
             lst = new st(); 
             lst->add(bf.x); 
             } 
             else 
             { 
                  lst->add_next(bf.x);
                  } 
                  bf.del();  
                  break; 
default: break; } break;
case ' ': break;
default: break;
}
}
}

void parse_b(char* b)
{ 
struct buf bf;
struct buf bf2;
int i;
int state = 0;
for (i=0, state = 0; b[i]!='\0'; i++)
{
switch(b[i])
{
case '0': case '1': case '2': case '3': case '4': case '5': case '6': case '7': case '8': case '9':
case 'A': case 'B': case 'C': case 'D': case 'E': case 'F': case 'G': case 'H': case 'I': case 'J': case 'K': case 'L': case 'M': case 'N': case 'O': case 'P': case 'Q': case 'R': case 'S': case 'T': case 'U': case 'V': case 'W': case 'X': case 'Y': case 'Z': case 'a': case 'b': case 'c': case 'd': case 'e': case 'f': case 'g': case 'h': case 'i': case 'j': case 'k': case 'l': case 'm': case 'n': case 'o': case 'p': case 'q': case 'r': case 's': case 't': case 'u': case 'v': case 'w': case 'x': case 'y': case 'z': 
switch (state)
{
case 0: bf.add(b[i]); printf("bf: "); bf.print(); printf("\n"); break;
case 2: bf2.add(b[i]); printf("bf2: ");  bf2.print(); printf("\n"); break;
default: break;
}
break;
case ';':  if (rl == 0) {  rl = new rule(); rl->add(bf.x, bf2.x); } else { rl->add_next(bf.x, bf2.x);} bf.del(); bf2.del(); state = 0; break;
case ',':  if (rl == 0) {  rl = new rule(); rl->add(bf.x, bf2.x); } else { rl->add_next(bf.x, bf2.x);} bf.del(); bf2.del(); state = 0;  break; 
case ' ': break;
case '-': switch (state) { case 0: state = 1; break; default: break; } break;
case '>': switch (state) { case 1: state = 2; break; default: break; } break;
case '|':  if (rl == 0) {  rl = new rule(); rl->add(bf.x, bf2.x); } else { rl->add_next(bf.x, bf2.x);} bf2.del();  break;
default: break;
}
}
}
void parse(char* a, char* b){ parse_a(a); parse_b(b);}

};

[Otar4ik]

Как я понял это конечный автомат,а как его таблично нарисовать..Рисовать за меня не надо,я сам могу)Просто подскажите))

Просто это и есть конечный автомат?))

[challengerr]

В коде происходит считывание грамматики в структуры, причем неправильное, так как не учитываются все случаи входных данных. Построения по грамматике автомата в коде нет.

[Otar4ik]

А как его можно построить?

просто нарисовать граф в графическом модуле или как-то из данных в граф(или таблицу сделать)..

Просто сам процесс до сих пор непонятен, я прочитал методичку Ишаковой там часть показана программы работй,а часть инет и я не смог уловить структуру самой программы.

по её методичке я и графы построил,которые прикреплены в 1-ом сообщении этой темы.

Мне просто не повезло при распределении темы по учебной практике,там рандомно выбиралось)))

[challengerr]

В Википедии есть статья про конечные автоматы. У меня на компьютере интернета нет. Граф и конечный автомат программа должна построить, если я понял задачу.

[Otar4ik]

Да по заданию так,ввести грамматику построить конечный автомат и потом граф.Но граф необязательно как сказал мне руководитель,так как у меня сложная тема из всех.