Для того чтобы цикл выполнялся ровно 4 раза, давайте разберем его структуру и условия.
У нас дан цикл вида:
i := 10;
repeat
i := i - 1;
until i < k;
Цикл repeat...until выполняется до тех пор, пока условие в until не станет истинным. Здесь цикл будет выполняться, пока i не станет меньше k.
В каждой итерации цикла переменная i уменьшается на 1, начиная с 10.
Чтобы цикл выполнился ровно 4 раза, посмотрим на последовательность изменений переменной i за 4 итерации:
- Итерация 1:
i = 10, уменьшается на 1, получаем i = 9.
- Итерация 2:
i = 9, уменьшается на 1, получаем i = 8.
- Итерация 3:
i = 8, уменьшается на 1, получаем i = 7.
- Итерация 4:
i = 7, уменьшается на 1, получаем i = 6.
После 4 итерации i станет равным 6, и в следующем шаге тело цикла выполнится еще раз, после чего условие until i < k должно стать истинным.
Значит, на момент проверки после 4 итераций i должно быть 6, а для завершения цикла, следующее число i станет 5 (т.е. i на этом этапе будет меньше k).
Следовательно, значение k должно быть равно 6, чтобы цикл выполнился ровно 4 раза.