OberonCore

Вот! И все так думают (кроме меня).

Смотрите:
Красным цветом выделен "путь цикла". Каждое действие на этом пути выполняется ровно N раз.
Думаете я смухлевал в repeat? Ничего подобного. С действия 2 начинается цикл, просто это особый случай (N >= 1)


А вот варианты с прыжками наружу и внутрь цикла.
Думаю видно как смешиваются пути.
В while получается мешанина логики.
В repeat обратите внимание, что цикл начинается только когда черный путь достигнет действия 2

Кстати, замечу что repeat - это ни что иное как:


т.е. просто особый случай использования while.

Что это за боковые чёрные стрелки на Вашем рисунке? Вот правильная картинка: Что мы имеем:
1. Цикл имеет один вход и один выход.
2. Точка входа в цикл фиксирована. Проивольные (в середину) попадания в цикл невозможны.
3. Возможная точка выхода из цикла фиксирована. Произвольные выпрыгивания из цикла исключены.

PS: Циклы WHILE и REPEAT являются частными случаями этого цикла. У WHILE отсутствуют блоки 2 и 3, а у REPEAT - 4 и 5.

Гы-ы-ы...
PS: Это не одно и то же, но конкретно в данном случае такая замена кода возможна.

Судя по названию темы, двое "школьников" обучают друг друга программированию

Просьба модераторам: перенесите, пожалуйста, обсуждение циклов, начиная вот с этого сообщения Ильи Ермакова, за исключением вот этого сообщения Валерия Лаптева, в новую тему "Стереотипы в построении циклов" или с любым другим подходящим названием. Спасибо!

Тык в repeat условие окончания же

И чо?!

Имеем два goto
Не вижу цикла. Об определениях конечно не спорят, но попробовать стоит
Вы можете формально определить цикл? Вот чтобы можно было отличить цикл от goto?

Напомню мое определение:
Цикл - это конечная неразрывная последовательность действий, которая целиком выполняется ровно N раз.
С этой моей точки зрения на вашей картинке цикла нет.

Вау! Тяжелая артиллерия пошла

Определение вашего цикла - в студию!
Очевидно, что ваш цикл - НЕ структурный.
Что иногда приводит к разного рода сложностям.

Для цикла не важно, целиком или не целиком выполняется последовательность. Циклы строятся исходя из инварианта цикла (эх, жаль Petr Almazov сюда не заходит, он бы сказал своё веское слово).
Имеет значение можем ли мы быть уверены в том, что постусловие соблюдаются после выхода из цикла. Посмотрите на мою последнюю картинку, там это гарантируется, потому что вы не можете "выпрыгнуть" из цикла минуя это условие.

Вы говорите о цикле, а не определяете сам цикл. Попробуйте таки формально.

Цикл - это конечная кольцевая последовательность операторов, выполнение которой прекращается по постусловию цикла, причём на каждой итерации непосредственно в момент проверки постусловия цикла соблюдается инвариант цикла.

Ну, тогда и Ваше определение цикла - в студию! До кучи.

Отлично. Определение есть. А теперь попробуйте придумать вермишель из goto, которая бы не попала под это определение. Сможете?

Я придерживаюсь определения вашего оппонента с добавлением об инварианте.

Не вижу смысла в подобном занятии. Поясните пожалуйста.

Тогда у меня вопрос к Вам и к моему оппоненту. Скажите пожалуйста, чем продиктовано ваше требование, что последовательность действий в цикле должна "целиком выполняться N раз"?

Если нельзя отличить цикл от goto, то зачем эти циклы вообще нужны?
Имхо, ценность циклов заключается в том, что они просты.
В структурном программировании вместо вермишели из goto мы имеем простую схему:
Последовательность + Ветвления + Циклы(в моем определении).


Тем, что если не придерживаться этого требования, то мы автоматически возвращаемся к программированию на ассемблере.
цикл + break/exit = goto + if