R

Z

9

Рисунок 3.11 − Схема алгоритма после третьего шага преобразования Бома-Джакопини

Таким образом, с помощью четырех шагов преобразования доказано, что полученная в результате применения метода дублирования кодов схема алгоритма (см. рисунок 3.8) является структурированной.

Достоинством метода дублирования кодов является то, что его удобно использовать при нисходящем проектировании программ. Исходную задачу укрупненно можно представить в виде одного функционального блока, а затем ее постепенно разукрупнять через промежуточные схемы алгоритма к результирующей структурированной схеме. В применении к рассмотренному алгоритму рассмотрите схемы алгоритма (см. рисунок 3.9 – рисунок 3.11), соответствующие четырем шагам преобразования, в обратном порядке.

Недостатки метода дублирования кодов:

1)неприменимость к программам с циклами;

2)дополнительные затраты памяти для хранения дублируемых модулей. Поэтому метод используется, если дублируемые модули содержат

незначительное число операторов. Если модули велики, то вместо дублирования кодов необходимо использовать вызываемые подпрограммы с формальными параметрами.

3.3.2.Метод введения переменной состояния

Данный метод был впервые предложен Ашкрофтом и Манной.

57

Процесс преобразования программы в структурированную состоит из следующей последовательности шагов.

1) Каждому блоку неструктурированной схемы приписывается номер. Обычно первому блоку присваивается 1, последнему – 0.

58

2)В программу вводится дополнительная переменная целого типа

(например, J), называемая переменной состояния.

3)Функциональные блоки исходной схемы заменяются блоками, выполняющими помимо основных функций преобразование переменной J: переменной J присваивается значение, равное номеру блока-приёмника в исходной схеме.

4)Аналогично преобразуются логические блоки. При этом, если в логическом блоке условие истинно, то это соответствует одному значению J, если ложно – другому.

5)Исходная схема перестраивается к виду, предложенному АшкрофтомМанной (рисунок 3.13).

На данной схеме блоки 1а – nа являются аналогами соответствующих блоков исходной схемы и, помимо этого, присваивают значение переменной J.

В результате преобразований Ашкрофта-Манны исходная неструктурированная схема рассматриваемого примера (см. рисунок 3.12) принимает структурированный вид, который представляет рисунок 3.14.

При выполнении алгоритма, реализованного по методу АшкрофтаМанны, переменная состояния J устанавливается в начальное значение, равное номеру первого блока непреобразованной схемы (как правило, это единица). Затем осуществляется последовательный опрос переменной J, начиная с нуля и заканчивая максимальным номером блока исходной схемы (в нашем примере он равен пяти). Выполняется тот блок исходной схемы, номер которого соответствует текущему значению J. Помимо этого в J заносится значение, равное номеру того блока исходной схемы, который должен выполняться за текущим блоком. Когда значение J станет равно нулю, выполняется последний блок непреобразованной схемы (блок с номером ноль) и осуществляется выход из алгоритма.

Полученная по методу Ашкрофта-Манны схема алгоритма является структурированной. Для доказательства этого достаточно последовательно преобразовать данную схему к одному функциональному блоку.

Шаг 1 преобразования.

Конструкции 1а, 3а и 4а представляют собой конструкции If-Then-Else с одним входом и одним выходом, конструкции 2а, 5а являются конструкциями следования (см. рисунок 3.14). Следовательно, они могут быть преобразованы к соответствующим функциональным блокам.

Данный шаг преобразований и все последующие шаги поясняет рисунок

3.15.

Следующие шаги преобразований необходимо проводить снизу вверх схемы (см. рисунок 3.15).

Шаг 2 преобразования.

Символ “Решение” с проверкой условия J = 5 и блок 5а представляют собой конструкцию If-Then-else (с одной ветвью) с одним входом и одним

59

Вторая ветвь данного символа «Решение» может быть использована для повышения надежности программы и на данном рисунке не показана (данная ветвь обеспечивает возможность контроля непопадания значений J в диапазон

0 – n, где n – максимальный номер блока в исходной схеме).

По сути, без проверки условия J = 5 в алгоритме можно обойтись, перейдя на выполнение блока 5а по ветви «нет» проверки условия J = 4.

60

61

VII

J=1

VI

V

IV

III

II

I

Рисунок 3.15 – Шаги преобразований Бома-Джакопини для структурированной схемы

62

Шаг 3 преобразования.

Символ “Решение” с проверкой условия J = 4 и блоки I и 4а представляют собой конструкцию If-Then-Еlse с одним входом и одним выходом. Поэтому они заменяются функциональным блоком II (см. рисунок

3.15).

Шаг 4 преобразования.

Символ “Решение” с проверкой условия J = 3 и блоки II и 3а представляют собой конструкцию If-Then-Else с одним входом и одним выходом. Поэтому они заменяются функциональным блоком III (см. рисунок

3.15).

Шаг 5 преобразования.

Символ “решение” с проверкой условия J = 2 и блоки III и 2а представляют собой конструкцию If-Then-Else с одним входом и одним выходом. Поэтому они заменяются функциональным блоком IV (см. рисунок

3.15).

Шаг 6 преобразования.

Символ “решение” с проверкой условия J = 1 и блоки IV и 1а представляют собой конструкцию If-Then-Else с одним входом и одним выходом. Поэтому они заменяются функциональным блоком V (см. рисунок

3.15).

Шаг 7 преобразования.

Символ “решение” с проверкой условия J = 0 и блок V представляют собой конструкцию обобщенного цикла с одним входом и одним выходом. Поэтому они заменяются функциональным блоком VI (см. рисунок 3.15).

Шаг 8 преобразования.

Функциональный блок начальной установки J = 1, блок VI и блок 0 представляют собой конструкцию следования с одним входом и одним выходом. Поэтому они заменяются функциональным блоком VII (см. рисунок

3.15).

Таким образом, за восемь шагов преобразований Бома-Джакопини исходная схема, построенная по методу Ашкрофта-Манны, преобразована в один функциональный блок с одним входом и одним выходом. Это подтверждает, что она является структурированной.

Достоинства метода введения переменной состояния:

1)процесс преобразования программы отличается наглядностью и чёткостью;

2)любому блоку исходной схемы соответствует определённое состояние программы, что помогает выполнять тестирование и отладку программы;

63