Цикл с параметром может не выполниться, если максимальное значение счётчика меньше минимального( в Pascal - FOR).
Цикл с предусловием тоже может не выыполниться, если при первом заходе условие не выполняется( в Pascal - WHILE). Цикл с постусловием выполнится минимум 1 раз( в Pascal - REPEAT).