Цикл із постумовою застосовують тоді, коли кількість ітерацій циклу є невідомою до початку його виконання. Умова завершення циклу записується після тіла циклу та вперше перевіряється після виконання операторів тіла. А отже, цикл з постумовою за будь-яких обставин буде виконано принаймні один раз – в цьому і полягає його головна відмінність від циклу з передумовою. Синтаксис циклу з постумовою:
repeat
<оператори>;
untіl <умова завершення циклу>;
Тут repeat, untіl – зарезервовані слова, <оператори> - тіло циклу; <умова завершення циклу> - деякий булів вираз.
Оператор циклу з постумовою працює за таким алгоритмом. Спочатку виконуються оператори, тіла циклу. Потім обчислюється умова завершення циклу. Якщо вона істинна, цикл завершує свою роботу, інакше повторюється виконання його тіла.