Какая модель компьютера является формальной (полученной в результате формализации )?

Логическая схема компьютера

Var     i,j,s,min,im: integer;     a: array[1..7,1..5]of integer; begin for i: =1 to 7 do   begin   for j: =1 to 5 do     begin     a[i,j]: =random(-9,9);     write(a[i,j]: 4);     end;   writeln;   end; writeln('сумма отрицательных по столбцам: '); for j: =1 to 5 do   begin   for i: =1 to 7 do     if a[i,j]< 0 then s: =s+a[i,j];   write(s: 4);   s: =0;   end; min: =a[1,1]; for j: =1 to 5 do     begin     if (a[1,j]< min) then       begin       min: =a[1,j];       im: =j;       end;     end; writeln; writeln('min=',min,'; (1,',im,')'); end.

Type       linmass = array [1..1000] of integer; var       a: linmass;       n, i, j: integer; begin       write('количество элементов массива: ');       readln(n);       for i : = 1 to n do       begin               write('введите a[', i, '] '); readln(a[i]);       end;             i : = 1;       while (i < = n) do               if (a[i] > = 100) and (a[i] < = 999) and (a[i] mod 2 = 0) and (a[i] mod i = 0) then begin                       for j : = i + 1 to n do                               a[j - 1] : = a[j];                       n : = n - 1               end               else i : = i + 1;             for i : = 1 to n do               write(a[i]: 6); end.