[FAZA]

вот тест программы, она вводит и выводит числа. числа хранятся в двусвязном списке с фиктивным элементом.

Код:

Type
    List=^element;
    element=record
      num        : integer;
      right,left : List;
    end;
Procedure Creation(var sent : List);
Begin
    new(sent);
    sent^.left:=sent;
    sent^.right:=sent;
end;

Procedure Insertion(p : List; y : integer);
Var
    q : List;
Begin
    new(q);
    q^.num:=y;
    q^.left:=p;
    q^.right:=p^.right;\\ что происходит здесь?
    p^.right^.left:=q;\\ и здесь.
    p^.right:=q;
End;
Var
    i,    k,x : integer;
    sent,p    : List;

Begin
    Reset(input,'input.txt');
    Rewrite(output,'output.txt');
    Creation(sent);

    while not seekeof do begin
        read(x);
        Insertion(sent,x);
    end;
    p:=sent^.left;
    while p<>sent do begin
         Write(p^.num,' ');
         p:=p^.left;
    end;


end

[Bargest]

Если вы про комменты "здесь и здесь" - то
создаем новый элемент q, в его правое значение пишем правое текущей позиции (куда вставляем), потом предыдущий элемент для P связываем с q.
были элементы в таком порядке:

p.right p p.left

а стали в таком:

p.right q p p.left

Т.е. СЛЕВА от p.right (вторая интересующая строка) ставится Q, а СПРАВА от Q (первая интересующая строка) ставится p.right.

[FAZA]

т.е. вот этим действием

Код:

p^.right^.left:=q;

связывается с q предыдущий элемент для p? вот это действие

Код:

q^.left:=p;

для меня более менее понятно. т.е. по адресу поля left списка q записывается адрес списка p. и вот это действие

Код:

q^.right:=p^.right;

я благодаря вам понял помойму правильно. в нем заменяется адрес из поля right списка q, на адрес их поля right списка p. Но вот это действие я не могу понять

Код:

p^.right^.left:=q;

, я запомнил что оно делает, но мне важно понять как это делается. Т.е. по адресу поля right списка р, в этом поле адрес следующего элемента, по нему переходим на след. элемент, там по адресу поля left лежит адрес предыдущего элемента! не могу понять.