Цикл "ПОКА" - это алгоритмическая конструкция, в которой команда (набор команд) может повторяться многократно.

Условие проверяется перед каждым выполнением (итерацией) тела цикла, движемся по ветке "Да" до тех пор, пока истинно условие.

В теле цикла всегда есть операции, которые изменяют условие. В итоге оно становится ложным, выходим из цикла по ветке "Нет".