В императивном языке программирования оператор управления является оператором, выполнение которого приводит к выбору, сделанному, относительно какого из двух или больше путей должен сопровождаться.

Виды операторов управления, поддерживаемых различными языками, варьируются, но могут быть категоризированы их эффектом:

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

из Википедии