Конспект лекций по программированию для начинающих. Гладков В.П. - 86 стр.

                                     88

цикла условие окончания задается сложным логическим выражением, содержащим
конъюнкцию или дизъюнкцию.
   На последнем шаге организации цикла необходимо правильно установить
начальные значения для всех переменных, которые используются или изменяются
в цикле. Эти переменные, как правило, находятся в условиях или в правых частях
операторов присваивания.      Для    этого   можно     провести    трассировку
первоначального входа в цикл и определить, какие значения должны быть у
используемых или изменяемых переменных.

                      10.2. Запись циклов на Паскале
   В алгоритмическом языке Паскаль циклы могут быть записаны с помощью
следующих операторов.
   Цикл с предусловием:
while логическое_выражение do оператор.
   Здесь оператор выполняется до тех пор, пока логическое выражение истинно.
Для того чтобы цикл завершился, оператор в теле цикла должен в некоторый
момент изменить значение логического условия. Оператор может быть любым
оператором Паскаля, в том числе оператором цикла. В последнем случае цикл
называется вложенным. Если тело цикла содержит больше одного оператора, то он
оформляется как составной оператор.
   Цикл с постусловием:
repeat операторы_тела_цикла until логическое_выражение.
    Здесь операторы тела цикла выполняются до тех пор, пока логическое условие
ложно. В теле цикла можно указывать несколько любых операторов Паскаля без
дополнительных операторных скобок. Для выхода из цикла необходимо, чтобы
операторы тела изменили значение логического выражения на истинное. Тело
цикла этого оператора выполняется хотя бы один раз.
    Цикл с параметром (вариант 1):
for параметр:=выражение_1 to выражение_2 do оператор.
    В этом операторе выражение 1 и выражение 2 вычисляются только один раз
при входе в цикл и в процессе выполнения не изменяются. Здесь в начале
исполнения параметр получает значение выражения 1. Если значение параметра
меньше или равно выражению 2, то выполняется оператор тела цикла. После
выполнения тела цикла параметр автоматически получает значение, следующее за
текущим значением параметра в соответствии с его типом. (Если параметр целый,
то значение параметра увеличивается на единицу. Если параметр символьный, то
выбирается следующий символ кодовой таблицы. Если логический, то выбирается
следующее логическое значение. В любом случае параметр должен быть
порядкового типа. Отсюда следует, что данные вещественного типа не могут быть
параметрами цикла.) Если значение выражения 1 больше значения выражения 2, то
цикл не выполнится ни разу. Параметр цикла в его теле изменять нельзя.
    Цикл с параметром (вариант 2):
for параметр:=выражение_1 downto выражение_2 do оператор.