Какие есть формальные языки и для чего они предназначены?

Формальный язык в математической логике и информатике — множество конечных слов над конечным алфавитом.
Формальный язык однозначен и не допускает толкований. При выполнении его инструкций результат также однозначен, что имеет огромное значение при производстве вычислений и построении числовых моделей, что позволяет судить о правильности их построения.
Ключевое слово ОДНОЗНАЧНОСТЬ!

1)var

a:array[1..5]of integer;

i,n,s:integer;

begin

 writeln('Введите кол-во элементов');

 readln(n);

 writeln('Введите число');

 s:=0;

 for i:=1 to n do begin

   read(a[i]);

   if a[i]>0 then s:=s+a[i]

 end;

 writeln('Сумма положительных элементов массива равна ', s)

end.

2)var

a:array[1..10]of integer;

i,n,P:integer;

begin

 writeln('Введите число элементов');

 readln(n);

 writeln('Введите число');

 P:=1;

 for i:=1 to n do begin

   read(a[i]);

   if a[i] mod 6 = 0  

   then P:=P*a[i]

 end;

 writeln('Произведение элементов массива кратных 6 равна ',P)

end.

3)var

a:array[1..5]of integer;

n,i:integer;

begin

 writeln('Введите кол-во элементов');

 readln(n);

 writeln('Введите число');

 for i:=1 to n do begin

   read(a[i]);

   if a[i]>0 then begin

   a[i]:=a[i]*3;

   writeln('Новый элемент равен: ',a[i])

 end;

 if a[i]<=0 then begin

   a[i]:=a[i]+5;

    writeln('Новый элемент равен: ',a[i])

 end;

 end;

end.

Буду рад если отметишь мой ответ как лучший

2. из математики

1) чтобы сложить два числа с разными знаками нужно из большего слагаемого вычесть меньшее, и поставить тот знак который больше

примеры: -2+6=3

2)чтобы вычесть два числа с разными знаками нужно сложить их и поставить знак минус

-6-8=-14

из русского языка

1)Глаголы совершенного вида указывают на завершенность действия, его результат, конец действия или его начало. В неопределенной форме они отвечают на вопрос что сделать?. 
Например: добежать, купить, зазвенеть, построить, запеть. 

   В изъявительном наклонении глаголы обозначают действия, которые реально происходят, происходили или будут происходить:
пишу,     писал, написал,     буду писать, напишу.