Основные алгоритмические конструкции — исследовательский практикум (5/17)

Цикл с предусловием while

Цикл while повторяет блок, пока условие истинно. Его нужно не только написать, но и объяснить: каково начальное состояние, почему выполняется каждая итерация и когда условие станет ложным.

Задача

Ввести целое n и вывести числа от n до 1. Для n=3 ожидается последовательность 3, 2, 1; затем состояние становится 0 и цикл останавливается.

Pascal

while n > 0 do
begin
  writeln(n);
  n := n - 1;
end;

Трассировка

Для n=4 значения перед проверкой: 4, 3, 2, 1, 0. Выводятся 4, 3, 2, 1 — четыре итерации. При n=0 тело не выполняется ни разу: это нормальное свойство предусловия.

Лаборатория

До запуска заполните таблицу «состояние → результат условия → вывод → новое состояние». Затем проверьте n=0, 1, 4, −1. Ожидаемый и фактический результаты должны совпасть.

Бесконечный цикл

Если n не изменяется или движется в неверную сторону, условие может никогда не стать ложным. Останавливайте зависшую программу штатной командой среды и анализируйте первое повторяющееся состояние.

Выходной билет

При n=5 и шаге −2 состояния вывода: 5, 3, 1; затем n=−1, условие ложно. Итого три итерации.