Статья 2285

Как можно этот алгоритм понять, а главное - каким образом можно убедиться в его правильности, не прибегая к компьютеру как средству проверить несколько случаев.
Если представить алгоритм в виде временного ряда операций, то основной вопрос состоит в том, как управляется этот поток операций. Откуда компьютер знает, какой оператор надо выполнить следующим, после того как исполнение программы дошло до определенного оператора.
Установлено, что для описания любого алгоритма достаточно лишь трех принципов управления. Первый принцип столь очевиден, что зачастую остается незамеченным, это принцип последовательности, Если компьютеру не предписано действовать иначе, он исполняет операторы программы последовательно. Вторым принципом является условное исполнение, которое в тексте программы принято обозначать конструкцией. В операторе представляет собой булево выражение, то есть выражение со значением либо истина, либо ложь, а 5 - любой оператор или группу операторов.