Добрый день!

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

Грамматики:
1) G=({S,C,D},{0,1},P,S),где P:
S->1C|0D;
C->0D|0S;
D->1C|1S|0;

2)G=({S,A,B,C},{a, b, c},P,S),где P:
S->aA|bB|aC;
A->bA|bB|c;
B->aA|cC|b;
C->bB|bC|a;


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

Что можно тут исправить или добавить?чтобы получилась программа по заданию.Программа компилируется.

и самое главное можно ли сделать так,чтобы граф рисовала или просто табличный конечный автомат.

Код Здесь не поместился,и поэтому я прикрепляю файлом(777.txt)