Оператор цикла с предпроверкой условий (while) проверяет условие до выполнения тела цикла, а оператор цикла с постпроверкой условий (repeat-until) проверяет условие после выполнения тела цикла.

Таким образом, цикл while может не выполниться ни разу, если условие изначально не выполняется, а цикл repeat-until выполнится хотя бы один раз, так как условие проверяется после выполнения тела цикла.