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