Операторы языка Pascal
While B do S ;
где B – логическое условие, истинность которого проверяется (оно является условием завершения цикла);
S – тело цикла – один оператор.
Выражение, с помощью которого осуществляется управление повторением оператора, должно иметь логический тип. Вычисление его производится до того, как внутренний оператор будет выполнен. Внутренний оператор выполняется повторно до тех пор, пока выражение принимает значение Тruе. Если выражение с самого начала принимает значение False, то оператор, содержащийся внутри оператора цикла с предусловием, не выполняется. Оператор цикла с постусловием
В операторе цикла с постусловием (начинающимся со слова repeat ) выражение, которое управляет повторным выполнением последовательности операторов, содержится внутри оператора repeat . Форма цикла:
repeat S until B ;
где B – логическое условие, истинность которого проверяется (оно является условием завершения цикла);
S – один или более операторов тела цикла.
Результат выражения должен быть логического типа. Операторы, заключенные между ключевыми словами repeat и until , выполняются последовательно до тех пор, пока результат выражения не примет значение True. Последовательность операторов выполнится, по крайней мере, один раз, поскольку вычисление выражения производится после каждого выполнения последовательности операторов.