Проверить соответствие открывающих и закрывающих круглых скобок в программе

  a := (a + a + a +
        a + a)

  a := (a + a + a +;
        a + a)

Var
  S : String;
  i : Byte;
Begin
  S:='(1+2)+2/(3+4*(6+7))';
  For i:=Length(S) downto 1 do
    If not (S[i] in ['(',')']) then Delete(S,i,1);
  While Pos('()',S)<>0 do Delete(S,Pos('()',S),2);
  If S<>'' then Writeln('Обнаружено несоответствие')
    else Writeln('Все в порядке');
end.

Program lab8;
 
var
  f:text;
  s:string;
  I,s1,s2, balance:integer;
begin
  assign(f,'c:\aaa.txt');
    reset(f);
   while not eof(f) do
    readln(f,s);
 
           balance := 0;
 
for i:=1 to length(s) do  begin
 
if s[i]='(' then begin
 inc(s1);
inc(balance);
end;
 
if s[i]=')' then begin
inc(s2);
dec(balance);
end;
 
       if balance < 0 then
       begin
          videlit(s[i]);  { здесь должна быть процедура, которая
 
            как-то выделяет скобку в знаки ? }
 
            balance := 0;
       end;
 
 
 
 
end;
 
if s1=s2 then writeln('Good') else writeln('Bad');
 
{в s хранится исправленный вариант строки}
 
close(f);
end.

Function OnlySkob(S : String) : String;
Var i : Byte;
Begin
  For i:=Length(S) downto 1 do
    If not (S[i] in ['(',')']) then Delete(S,i,1);
  OnlySkob:=S;
end;
 
Function Skob(S : String) : String;
  Function NQ(sq : String; kk : Byte) : Byte;
  Var iq : Byte;
  Begin
    iq:=1;
    While iq<kk do
    Begin
      If sq[iq]='?' then Inc(kk);
      Inc(iq);
    end;
    NQ:=kk;
  end;
  Function Check(ss : String) : String;
  Var
    k : Byte;
    q : String;
  Begin
    If (Length(ss)>0) then
      If Pos('()',ss)>0 then
      Begin
        k:=Pos('()',ss);
        q:=Check(Copy(ss,1,k-1)+Copy(ss,k+2,Length(ss)-k-1));
        Insert('()',q,NQ(q,k));
        Check:=q;
      end
      else
        Begin
          q:=ss;
          If ss<>'' then
            For k:=Length(ss) downto 1 do Insert('?',q,k);
          Check:=q;
        end
    else Check:='';
  end;
Var
  St,S0 : String;
  i  : Byte;
Begin
  St:=Check(OnlySkob(S));
  S0:='';
  For i:=1 to Length(S) do
    If (Length(St)>0) and ((S[i]=St[1]) or ((St[1]='?') and (S[i]=St[2]))) then
      If St[1]<>'?' then
      Begin
        S0:=S0+S[i];
        Delete(St,1,1);
      end
        else
        Begin
          S0:=S0+'?'+S[i]+'?';
          Delete(St,1,2);
        end
    else S0:=S0+S[i];
  Skob:=S0;
end;
 
Begin
  Writeln(Skob('((1+2)<3*(23-5))(  and ((5+((3+2)*3))< (100-6))'));
end.