Реферат: Математическая логика и теория алгоритмов

c [k] := c [k] + 1;

end;

procedure down; {вниз}

begin {k > 0}

k := k - 1;

end;

procedure work; {обработать}

var i: integer;

begin

if (k = n) and not danger then begin

for i := 1 to n do begin

write ('<', i, ',' , c[i], '> ');

end;

writeln;

end;

end;

procedure UW; {вверх_до_упора_и_обработать}

begin

while is_up do begin

up;

end

work;

end;

begin

begin_work;

UW;

while is_down do begin

if is_right then begin

right;