В 1969 году нидерландский ученый Эдсгер Дийкстра доказал важную теорему. Суть ее в том, что для решения любой логической задачи можно составить алгоритм, используя лишь три алгоритмических структуры: следование, ветвление и повторение. Эти структуры называют базовыми.
Самой простой структурой является «следование».
Следующей конструкцией является «ветвление». Она встречается, если действия алгоритма зависят от некоторого условия.
И, наконец, последняя алгоритмическая конструкция — «повторение». Алгоритм, содержащий конструкцию «повторение» называется циклическим алгоритмом.
Существует несколько разновидностей циклических алгоритмов.
Первый — цикл с заданным условием продолжения работы (цикл с предусловием или цикл-пока).
Второй — цикл с заданным условием окончания работы (цикл с постусловием или цикл-до).
И третий — цикл с заданным числом повторений (цикл с параметром).