цикл

<кон. зн.> do <оператор>
Сначала вычисляется начальное значение и присваивается переменной цикла. Проводится выполнение оператора. Затем значение переменной цикла увеличивается на «1». Постоянно идет сравнение переменной цикла с конечным ее значением.
Если условие переменная цикла : = <кон. знач. > изначально нарушено, то не будет выполнено ни одного расчета оператора.
for <перемен цикла>: = <нач. зн.>downto <кон. зн.> do <оператор>
Переменная цикла уменьшается на «-1».

то выполняется оператор и так до тех пор, пока логическое условие не примет значение «ложь». В теле цикла изменяются параметры логического выражения. Если логическое условие ложно изначально, то цикл не выполняется ни разу.