Синтаксис оператора циклу з передумовою:
whіle <умова продовження циклу> do
<оператор >
Тут whіle <умова продовження циклу> do є заголовком циклу, <оператор > - його тілом. Тіло циклу може бути операторним блоком і містити в собі будь які оператори: циклу, вибору, присвоєння тощо.
Оператор циклу з передумовою виконується за таким алгоритмом. Спочатку обчислюється умова продовження циклу, що записана в його заголовку. Якщо вона істина, то виконується тіло циклу, інакше виконання циклу припиняється. Після виконання тіла циклу буде знову перевірена умова його продовження. Чергування виконання тіла циклу та перевірки умови продовження триває доти, доки умова стане хибною.