Алгоритми розв’язання більшості задач не є послідовними. Дії (обчислення), які необхідно виконати, можуть залежати від визначеної умови, наприклад, від вихідних даних, або результатів, отриманих під час виконання програми. Таким чином розгалужений алгоритм передбачає вибір однієї з декількох послідовностей дій у залежності від вихідних даних чи проміжних результатів.
Обчислювальний процес називається розгалуженим, якщо в залежності від виконання визначених умов він реалізується за одним з декількох, заздалегідь передбачених (можливих), напрямків. Кожен окремий напрямок називається гілкою обчислення.
Розгалужені програми можуть бути реалізовані одним із трьох способів: з використанням операторів переходу, умовного оператора чи оператора вибору. Для цього існують спеціальні інструкції (оператори) передачі управління, які дають можливість перейти з одного місця програми в інше (передати управління) та змінити послідовний порядок виконання її операторів (інструкцій).
Якщо такий перехід здійснюється тільки при виконанні певної умови, він називається умовним, а відповідний йому оператор - оператором умовного переходу. Якщо перехід виконується в будь-якому випадку, він називається безумовним, а відповідний йому оператор - оператором безумовного переходу. Якщо в залежності від значення якого-небудь виразу необхідно виконати один з декількох послідовних операторів, використовують оператор вибору(варіанту).