Основное отличие цикла с предусловием от цикла с постусловием в Pascal заключается в том, что в цикле с предусловием проверка условия осуществляется до тела цикла, а в цикле с постусловием — после. 49

Цикл с предусловием выполняется, пока истинно условие, указанное перед его началом. 1 Это условие проверяется до выполнения тела цикла, поэтому тело может быть не выполнено ни разу (если условие с самого начала ложно). 1

Цикл с постусловием — цикл, в котором условие проверяется после выполнения тела цикла. 1 Отсюда следует, что тело всегда выполняется хотя бы один раз. 1

Таким образом, цикл с постусловием всегда будет выполнен хотя бы один раз, в отличие от цикла с предусловием, который может не выполниться ни разу. 49