§ 11. Использование условий

Команда Right двигает Робота, а условие FreeFromRight только отвечает, свободен ли переход справа. Значение условия может измениться после движения. Поэтому одно и то же условие проверяют снова в новом положении.

while FreeFromRight do
  Right;

Робот проверяет переход справа. Если он свободен, делает один шаг, затем снова проверяет условие. Когда справа окажется стена, тело больше не выполняется. Число повторений определяется обстановкой, а не записанным заранее числом.

1. Проверить

   Вычислить условие в текущем положении.

2. Да

   Выполнить тело и вернуться к проверке.

3. Нет

   Перейти к команде после цикла.

При каждой итерации закрашивается клетка, из которой Робот уходит. В последней клетке условие FreeFromRight уже ложно, поэтому Paint внутри тела не выполняется. Отдельная команда Paint после цикла завершает задачу и работает даже в ряду из одной клетки.

while FreeFromRight do
begin
  Paint;
  Right;
end;
Paint;

В программе while FreeFromRight do Paint; Робот остаётся на месте. Если справа свободно, закрашивание не изменит это условие, и цикл будет повторяться бесконечно. Ошибка здесь не в синтаксисе, а в алгоритме: тело не приближает к остановке.

Проверяют не только обычную обстановку, но и начальную стену, один шаг до стены, длинный проход, уже закрашенные клетки. Для каждого варианта нужно объяснить, где остановится Робот и почему следующего опасного шага не будет.