Машина Тьюринга для суммы двух чисел и дальнейшего определения четности/нечетности

#include<string>
#include<iostream>
#include<fstream>
using namespace std;
int i,j, a,p, b,n,schet=0,q,r=1,final=0, m,k,l;
string go, znach, elem , doit;
int main()
{
    setlocale(LC_ALL,"RUSSIAN");
    cout<<" введите значение двух складываемых чисел"<<endl;
    cin>>a;
    cin>>b;
    n=a+2*b+2;
    string *s = new string[n];        // Объявление массивов s и q 
    string *q = new string[n];
    for (i=0;i<n;i++)
        q[i]="qm";
    q[n-2]="q1";
    for(i=0;i<b;i++)
        s[i]="~";
    for(i=b;i<b+a;i++)
        s[i]="1";
    s[b+a]="0";
    for(i=b+a+1;i<b+b+a+1;i++)
        s[i]="1";
    s[b+b+a+1]="~";
 
    cout<<" Массив s = ";          ///////
    for(i=0;i<n;i++)
        cout<<s[i];
    cout<<endl;
    string til="~";
    
 
    string mas[4][6]={{".",     "q1",     "q2",     "q3",      "q4",      "q5"},
                      {"1",    "~q2L",   "1q2L",   "1q3R",    "0q5L",    "0q4L"},   ///// Объявление Машины Тьюринга
                      {"0",    "0q4L",   "0q2L",   "0q3R",      "...",      "..."},
                      {"~",     "...",     "1q3R",   "~q1L",     "1!S",    "0!S"}
                     };
 
 
 
 
string q1="q1"; string q2="q2"; string q3="q3"; string q4="q4"; string q5="q5";
int lol=1;
i=n-2;
 while (lol>0)
{
    /////////////////////////////
                                  /*    if (schet==1) 
                                    {
                                        cout<<endl<<"Новое "<<endl;
                                        for( p=0; p<n; p++)
                                        cout<<s[p];
                                    }   */ 
 
//////////////////////////////
    for (m=0;m<4;m++)
    {
        n=0;
        if (mas[m][n]==s[i])
            k=m;
    }
    for (n=0;n<6;n++)         // [k][l] - Координаты действия в машине Т.
    {
        m=0;
        if (mas[m][n]==q[i])
            l=n;
    }
    doit=mas[k][l];
 
     s[i]=doit[0];
    
    if (doit[2]=='S')
        lol=0;
 
    if (doit[3]=='L')
        i--;
    if (doit[3]=='R')
        i++;
    elem=q[i];
    elem[1]=doit[2];
    q[i]=elem; 
    //schet++;         
 
}
 
    
 
 
return 0 ;
}