Делаем очередную проверку формул, эквивалентность которых надо проверить, на правильность ввода.

//проверка строки на правильность
if ((edit1.Text='') or (edit3.Text='')) then begin beep; ShowMessage('Введите формулы!'); exit; end;
workstr1:=lowercase(edit1.Text);
i:=proverka(workstr1);
if i<> 0 then
begin
if i<>255 then begin beep; ShowMessage('Формула №1 введена неверно!'); edit1.SetFocus; edit1.SelStart := i; end
else begin beep; ShowMessage('Количество открывающих и закрывающих скобок в Формуле №1 не совпадает!'); end;
exit;
end;
workstr2:=lowercase(edit3.Text);
i:=proverka(workstr2);
if i<> 0 then
begin
if i<>255 then begin beep; ShowMessage('Формула №2 введена неверно!'); edit3.SetFocus; edit3.SelStart := i; end
else begin beep; ShowMessage('Количество открывающих и закрывающих скобок в Формуле №2 не совпадает!'); end;
exit;
end;