Цикл с предусловием
while проверяет условие перед каждым выполнением тела и может не выполнить его ни разу.
Цикл while по шагам
Учебное выполнение готовых алгоритмов: пройдите по шагам и проверьте значения переменных. Это модель, а не компилятор.
Цикл while удобен, когда число повторений заранее неизвестно. Сначала проверяется условие. Если оно истинно, выполняется тело, затем проверка повторяется. Если ложно уже при входе, тело пропускается.
Внутри цикла должны изменяться данные, влияющие на условие, либо должна существовать другая понятная причина завершения. Например, x := x + 1 приближает x к верхней границе. Если x не меняется при истинном x < 5, цикл может стать бесконечным.
x := 1;
while x <= 5 do
begin
writeln(x);
x := x + 1;
end;