Кформальным языкам можно отнести 1) японскую письменность 2) язык формул 3) разговорный язык 4) символику

Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов.
В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания.

Т.е. о любом высказывании можно сказать принадлежит оно этому языку или нет, является ли ошибочным.

1) - я мало знаю о японской писмености, чтоб судить о конечности и вариционности. Возможно да, возможно нет. Но скорее в данном контексте нет
2) скорее всего да. Конечный алфавит и тп
3)  - нет, потому что каждый говорит как хочет, бесконечность вариаций, нет критерия правильности
4)  - да, потому что есть критерий правильности, единый синтаксис, впринцепе конечный алфавит

1)
var
    s: string[6];
    n: integer;

begin
    s := 'отлично';
    n := length(s);
    writeln(length('отлично'));
    writeln(n);
end.

Изначально выставлен тип string[6], значит если присвоить строку больше, то ее обрежет по 6 символов, вот и весь прикол
ответ 6

2) рисунок

3)var
    s, s1: string;
    n: integer;

begin
    s := 'информатика';
    s1 := copy(s, 3, 5);
    n := pos(s, s1);
    writeln('s=', s);
    writeln('s1=', s1);
    writeln('n=', n);
end.

Вывод
s=информатика
s1=форма
n=0

Все верно, в s1 не содержится s, а наоборот

Var
    i, n, s: integer;

begin
    readln(n);
    i := 0;
    s := 0;
    
    while i < 7 do
    begin
        if (n mod 2 = 1) then begin
            s := s + n;
            i := i + 1;
        end;
        n := n + 1;
    end;
    
    writeln(s);
end.

var
    i, n, s: integer;

begin
    readln(n);
    i := 0;
    s := 0;
    
    repeat
        if (n mod 2 = 1) then begin
            s := s + n;
            i := i + 1;
        end;
        n := n + 1;
    until i >= 7;
    
    writeln(s);
end.

var
    i, n, s: integer;

begin
    readln(n);
    n := n + (n + 1) mod 2;
    s := 0;
    
    for i := 1 to 7 do
    begin
        s := s + n;
        writeln(n);
        n := n + 2;
    end;
    
    writeln(s);
end.