Цикл - разновидность управляющей конструкции в высокоуровневых областях программирования, предназначенная для организации многократного исполнения набора инструкций.

Последовательность инструкций, предназначенная для многократного исполнения, называется телом цикла. Единичное выполнение тела цикла называется итерацией. Выражение определяющее, будет в очередной раз выполняться итерация или цикл завершается, называется условием выхода или условием цикла (как условием продолжения в зависимости от того, как интерпретируется его истинность - как признак необходимости завершения или продолжения цикла). Переменная, хранящая текущий номер итерации, называется счётчиком итераций цикла или просто счётчиком цикла. Цикл не обязательно содержит счётчик, счётчик не обязан быть один - выполнение выхода из цикла может зависеть от нескольких изменяемых в цикле переменных, а может определяться внешними условиями (например, наступлением определённого времени), в последнем случае счётчик может вообще не понадобиться. [!d3 ]

Исполнение любого цикла включает первоначальную инициализацию переменных, проверку условий выхода, выполнение функций цикла и обновления цикла на каждой итерации. Кроме того, большинство языков программирования для защиты от прерывания, например, операторы завершения цикла, то есть выход из цикла независимо от истинности условия выхода (в языке Си - break) и операторы пропуска итерации (в языке Си - continue ).