Пока условие истинно.
Объяснение:
После выполнения каждой итерации программа проверяет, выполняется ли условие, допустим "пока а не равно нулю делать <блок кода>". Если в теле цикла a уменьшаться не будет, то он будет бесконечным. Если же его будет изменять какая-либо инструкция, например "уменьшить а на 1", цикл будет итерироваться, пока а не будет равно нулю.
