где оператор1, оператор2, ... , операторN - операторы тела цикла;
условие - логическое выражение, диктующее завершение повторов.
Оператор цикла с постусловием начинается с выполнения операторов внутри цикла. Затем проверяется истинность логического условия, стоящего после слова UNTIL. Если это условие справедливо (True), то осуществляется выход из цикла. Если же значение логического выражения ложно (False), то выполнение операторов тела цикла повторяется, после чего снова проверяется истинность логического условия.
Пример программы, использующей оператор цикла с постусловием: