Цикл с постусловием, то есть с проверкой условия после выполнения операций в теле цикла, организуют с помощью оператора repeat, общий вид записи которого выглядит как
repeat < тело цикла > until < условие >;
что означает "повторять (repeat) действия операторов, образующих тело цикла, до тех пор, пока (until) не начнёт выполняться заданное условие (не начнут выполняться заданные условия)".
Здесь, как и в предыдущем случае, < условие > – логическое выражение отношения, < тело цикла > – простой или составной оператор.
Порядок выполнения действий в цикле будет следующим (рис. 2):
1) выполняются действия, предусмотренные операторами тела цикла, включая изменения переменных и параметра условия,
2) проверяется заданное условие (условия).
Если оно не выполняется, т.е. принимает значение false, то вновь осуществляются действия по п.1.
В противном случае, т.е. когда условие выполняется и принимает значение true, программа переходит к выполнению оператора, следующего за телом цикла.
Количество повторений вычислений в цикле заранее неизвестно и зависит от заданного условия. Оператор циклаrepeat обеспечивает выполнение по крайней мере одного вычисления оператора тела цикла.
Тело цикла может содержать несколько операторов без применения составного оператораbegin...end. Это объясняется тем, что компилятор воспринимает ключевое слово repeatкак repeat begin, а until –как end until.
Рис. 2. Структурная схема цикла с постусловием
