Конечный автомат для нулей и единиц

unit Unit1;
 
interface
 
uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs, Grids, StdCtrls, ComCtrls, ExtCtrls;
 
type
  TForm1 = class(TForm)
    Label1: TLabel;
    Label2: TLabel;
    Button1: TButton;
    Grid1: TStringGrid;
    Label6: TLabel;
    Edit1: TEdit;
    Label8: TLabel;
    Memo2: TMemo;
    Label9: TLabel;
    Image1: TImage;
    Image3: TImage;
    procedure FormCreate(Sender: TObject);
    procedure Button1Click(Sender: TObject);
    procedure Edit1KeyPress(Sender: TObject; var Key: Char);
 
    procedure PM(Grid: TStringGrid; Edit: TEdit; Memo: TMemo; Labele :TLabel);
  private
    { Private declarations }
  public
    { Public declarations }
  end;
 
var
  Form1: TForm1;
implementation
 
{$R *.dfm}
 
procedure TForm1.FormCreate(Sender: TObject);
var i, j: integer;
begin
// Заполнение таблицы переходов
  for i:= 1 to 2 do
   for j:= 1 to 3 do
    Grid1.Cells[i,j]:='*';
  Grid1.Cells[1,0]:= '0';
  Grid1.Cells[2,0]:= '1';
  Grid1.Cells[0,1]:= '0';
  Grid1.Cells[0,2]:= '1';
  Grid1.Cells[0,3]:= '11';
  Grid1.Cells[0,4]:= '0';
  Grid1.Cells[2,2]:= '3';
  Grid1.Cells[1,3]:= '1';
  Grid1.Cells[1,1]:= '1';
  Grid1.Cells[2,1]:= '2';
 
end;
 
procedure TForm1.Button1Click(Sender: TObject);
begin
  Close;
end;
 
procedure TForm1.PM(Grid: TStringGrid; Edit: TEdit; Memo: TMemo; Labele :TLabel);
var i, j, P_1, P_2: integer;
    S: string;
begin
  Memo.Clear;
  P_1:= 1;
  for i:= 1 to Length(Edit.Text) do
   begin
     S:= Copy(Edit.Text,i,1);
     for j:= 1 to Grid.ColCount do
      if (S = Grid.Cells[j,0]) then
       begin
         if (Grid.Cells[j,P_1] <> '*') then
          begin
            P_2:= StrToInt(Grid.Cells[j,P_1]);
            Labele.Caption:= 'Цепочки принята';
            Memo.Lines.Add(IntToStr(i)+': из  позиции '+IntToStr(P_1)+' в позицию '+IntToStr(P_2));
            P_1:= P_2;
          end
         else
          begin
            Labele.Caption:= 'Цепочка не принята! ВВедите корректную цепочку';
            Memo.Clear;
            Exit;
          end;
       end;
   end;
end;
 
procedure TForm1.Edit1KeyPress(Sender: TObject; var Key: Char);
begin
  if (Key = '0')or(Key = '1')or(Key=Chr(vk_Back)) then Edit1.ReadOnly:=False
   else Edit1.ReadOnly:=True;
  if (Key = #13) then PM(Grid1,Edit1,Memo2,Label9);
end;
 
 
end.

cor:=false;//Корректность строки. 
for i1= 0 to 6 do begin
                        if S = m[i1] then begin
                                                 cor:=true;//Цепочка корректна
                                                 break;//Останавливаем проверку
                                               end;
                       end; 
//Если корректная цепочка не найдена, то cor так и останется  false