Создание формального языка по его вербальному описанию (С++)

#include <iostream>
#include <fstream>
#include <string.h>
#define M 8
#define MV 18
#define CB '1'
#define CE '3'
using namespace std;
void GetNext(char* A);
void Next(char *A,int C);
void Clear(char* A);
int Owerflow(char* A);
void Show(char* A);
int Check(char* A);
char strtemp[8];
 
int main()
{
   char A[255]="1111";
   int k=0,cnt=0;
   ofstream fl;
   fl.open("gram.txt");
   fl<<"Содержит ровно два символа «а», заканчивается на «b» и символы «а» и «с» не стоят рядом L1=4, L2=8, M=18."<<endl;
 
   while (k<M && cnt<=MV){
 
    do {
       Show(A);
       if(Check(A)==0){cnt++;fl<<cnt<<". "<<strtemp<<endl;}
       if ( cnt>=MV) return 0;
       GetNext(A);
 
    }while (!Owerflow(A));
    Show(A);
    if(Check(A)==0){cnt++;fl<<cnt<<". "<<strtemp<<endl;}
   k++;
   if (k>M || cnt>=MV) return 0;
   for(int i=0;i<k+3;i++)A[i]='1';
   }
    fl.close();
    return 0;
}
 
void Clear(char* A){
for(int i=0;i<strlen(A);i++) A[i]=CE;
}
 
int Owerflow(char *A){
    int C = 0;
    for(int i=0;i<strlen(A);i++)
      if (A[i]== CE) C++;
    if(C == strlen(A))  return 1;
    else return 0;
}
 
void Next(char *A,int C){
  C--;
  if(A[C]==CE){
     A[C]=CB;
     C++;
     Next(A,C-1);
   }
   else A[C]++;
}
 
void GetNext(char* A){
if (Owerflow(A)) {
    A[0]++;
    Clear(A);
}
  else
    Next(A, strlen(A));
}
 
void Show(char* A){
//strtemp='';
for(int i=0;i<strlen(A);i++){
    if (A[i]=='1')strtemp[i]='a';
    if (A[i]=='2')strtemp[i]='b';
    if (A[i]=='3')strtemp[i]='c';
    }
cout<<strtemp<<' ';
}
 
int Check(char* A){
 int cntA=0,cntAC=0;
 for(int i=0;i<strlen(A);i++){
    if(A[i]=='1'){
        cntA++;
    if (A[i+1]=='3')cntAC++;
    }
    if(A[i]=='3' && A[i+1]=='1')cntAC++;
 }
 if(cntA==2 && cntAC==0 && A[strlen(A)-1]=='2')return 0;
 else return 1;
}