Статья 416

При всех остальных значениях попадание в цикл возможно.

Посмотрим, скажем, что будет. Коли цикл вообще будет выполняться что вовсе не обязательно, так как при произойдет переход к строке, при первом попадании в него имеем. Условие тем самым будет выполнено и цикл завершен. При каждое выполнение цикла будет увеличивать целочисленное значение на единицу и неминуемо рано или поздно оно сравняется со значением у, поскольку у - целое число и его значение остается неизменным.

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

Попробуем доказать утверждение о частичной правильности. Прежде всего рассмотрим особый случай.

Посмотрим

Посмотрим


Выполнение строки закончится присваиванием.