— Рефераты — Точные науки — Алгебра, высшая математика — Математическая логика и теория алгоритмов
{инвариант: ОЛ}
while есть_сверху do begin
вверх_налево
end
{ОЛ, Робот в листе}
обработать;
{ОЛН}
end;