Рис. 9. Циклы типов «пока» (а) и «до» (б)

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

В цикле типа «до» проверка условия ставится после выполнения серии действий. Работа этой структуры начинается с выполнения тела цикла, после чего проверяется истинность заданного условия. Серия действий всегда выполнится хотя бы один раз. Особенностью этой структуры является то, что тело цикла выполняется до тех пор, пока условие остается ложным. Как только условие становится истинным, работа цикла прекращается. В циклах типов «пока» и «до», во избежание «зацикливания», должны выполнятся действия, изменяющие значение условия на противоположное после конечного числа повторений.

в) Цикл с параметром в общем случае реализует повторение серии действий для всех значений параметра Х, принадлежащих некоторому упорядоченному множеству. Обычно это множество задается начальным X_n и конечным X_k значениями, а также шагом изменения X_s параметра цикла (рис.10).

 

 

                                                                      

 

                                                                                 

 

Рис. 10. Цикл с параметром

 

Каждое из действий может в свою очередь представлять любую управляющую структуру. Это дает возможность с помощью базовых структур

 

Вспомогательные алгоритмы

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

Заголовок вспомогательного алгоритма начинается со слова «процедура», после которого следует имя процедуры и в скобках - список формальных параметров. В этом списке перечисляются переменные-аргументы и переменные результаты с указанием типов. В основном алгоритме обращение к процедуре производится путем указания ее имени с последующим в скобках списком фактических параметров. Между формальными и фактическими параметрами процедуры должны выполняться следующие правила соответствия:

- по количеству (сколько формальных параметров, столько и фактических);

- по последовательности (первому формальному соответствует первый фактический параметр, и т.д.);

- по типам (типы соответствующих формальных и фактических параметров должны совпадать).

Фактические параметры-аргументы могут быть выражениями соответствующего типа.

Обращение к процедуре инициирует следующие действия:

1. Значения параметров аргументов присваиваются соответствующим формальным параметрам.

2. Выполняется тело процедуры.

3. Значение результата передаётся соответствующему фактическому параметру, и происходит переход к выполнению следующей команды основного алгоритма.

Использование процедур позволяет строить сложные алгоритмы методом последовательной детализации.