Раздел 3.4.1. Цикл с известным количеством повторений FOR

Оператор цикла for (для) имеет одну из двух форм:

for переменная:=начальное значение to конечное значение do оператор или

for переменная:=начальное значение downto конечное значение do оператор

для обеих форм содержимое строк можно интерпретировать как:
для <параметр цикла>:=<нач.знач> до <конеч.знач> выполнять <оператор>

Содержимое текста от слова for до слова do включительно называется заголовком цикла, а оператор после do - телом цикла. Переменная после слова for называется параметром цикла. Параметр цикла, его начальное и конечное значения должны принадлежать к одному и тому же, порядковому (целому, символьному, перечислимому или интервальному) типу данных, т.е. параметр выступает в качестве счётчика цикла.
Если в цикле изменяется простая переменная, то она является параметром цикла, если в цикле изменяется переменная с индексом, то параметром цикла является индекс этой переменной. В теле цикла параметр цикла не должен меняться.
Для цикла с ключевым словом to значение параметра цикла последовательно увеличивается на единицу при каждом прохождении цикла (повторе). Для цикла с ключевым словом downto значение параметра цикла при каждом повторе последовательно уменьшается на единицу.

Если для цикла for... to начальное значение переменной цикла больше конечного значения или для цикла for... downto начальное значение переменной цикла меньше конечного значения, то тело цикла не выполнится ни разу.

Изменение переменной-параметра цикла внутри цикла является логической ошибкой. Например, следующий фрагмент со вложенным оператором for является ошибочным:

for i:=1 to 10 do
for i:=1 to 5 do
write(i);