2. Этап э2: Построение структурной схемы

1. Структурная схема алгоритма

На основе заданной формулы строится схема алгоритма.

ССА: Структурная схема алгоритма / У: Поток управления

ШСС: Шаблон структурной схемы

A910 = (((Z1  Z2  (Z6 V (Z1  Z8))) & (Z3  Z4))  Z1)

Порядок последующей работы:

подэтапы Э21..Э23 этапа Э2.

2. Э21: Построение основной схемы – без оболочек

// Включить координатную сетку встроенного графического редактора Word

БСА: Блок-схема алгоритма / ГИ: Горизонтальное исполнение

// Аппаратно-ориентированное представление

БСА: Блок-схема алгоритма

ВИ: Вертикальное исполнение

// Программно-ориентированное представление

ШСА: Штрих-схема алгоритма

ГИ: Горизонтальное исполнение

Формируются параллельные ветви алгоритма (цепи потока команд).

Коммутационные элементы:

#: Вилка (узел вилки) – структурная операция разделения ветвей (цепей);

&, V: Сборка (узел сборки) – структурная операция соединения ветвей:

по конъюнкции (логическая связка И) и дизъюнкции (логическая связка Или).

3. Э22: Группирование элементов

ШСА: Штрих-схема алгоритма – наложение схемных оболочек

// Схемные оболочки на ССА задаются строго соответственно

// скобочным оболочкам в ПИнФ СФА.

// A910 = (((Z1  Z2  (Z6 V (Z1  Z8))) & (Z3  Z4))  Z1)

5. Э23: Проверочная нумерация оболочек

СФА: Структурная формула алгоритма – нумерация оболочек

// переключить редактор на шрифт Courier New – постоянный шаг текста

A910=(((Z1–Z2–(Z6V(Z1–Z8)))&(Z3–Z4))–Z1)

123 4 5 543 3 32 1

1 1 2 2

Примечание.

1) Первая строка нумерации – уровень вложенности оболочки.

2) Вторая строка нумерации – разные компоненты одного уровня.

РМУ 1.5 Проверить парное соответствие номеров скобочных оболочек СФА.

ССА: Структурная схема алгоритма

ШСА: Штрих-схема алгоритма – нумерация оболочек

РМУ 1.6 Проверить соответствие нумерации скобочных оболочек СФА и схемных оболочек (блоков) ССА.

6. Э25 Повышение явного соответствия формул и схем

Между полученными исходными формами структурных формул и схем существует взаимное структурное соответствие:

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

Однако в общем случае это соответствие не очень ясно для детального понимания, содержит неявные элементы соответствия и условности и т.п.

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

Порядок действий: подэтапы Э251..Э255 этапа Э25.

7. Э251 Явная операция разделения потоков

Выявление неявной операции разделения (вилки) потоков:

СФА: Структурная формула алгоритма / У: Поток управления

ИнФ: Инфиксная форма записи формулы

ПИнФ: Полная инфиксная форма // пошаговое построение

Неявная операция по умолчанию

A910 = ( ((Z1  Z2  (Z6 V (Z1  Z8))) & (Z3  Z4) )  Z1)

Явная простановка операции по умолчанию

= (((Z1Z2(Z6_#V(Z1Z8)))_#& (Z3Z4))Z1)

= (((Z1Z2(Z6 #V(Z1Z8))) #& (Z3Z4))Z1)

Основная стандартная форма записи СФА

строчная индексация

A910 = (((Z1Z2(Z6 #V(Z1Z8))) #& (Z3Z4))Z1)

подстрочная индексация (нижние индексы)

A910 = (((Z₁ – Z₂ – (Z₆ #V (Z₁ – Z₈))) #& (Z₃ – Z₄)) – Z₁) =

= (((Z₁Z₂(Z₆ #V (Z₁Z₈))) #& (Z₃Z₄))Z₁) =

= ((Z₁Z₂(Z₆ #V (Z₁Z₈))) #& (Z₃Z₄))Z₁ =

= (Z₁Z₂(Z₆ #V (Z₁Z₈)) #& (Z₃Z₄))Z₁ =

= (Z₁Z₂(Z₆ #V (Z₁Z₈)) #& Z₃Z₄)Z₁ =

= (Z₁Z₂(Z₆ #V Z₁Z₈) #& Z₃Z₄)Z₁

Повышается степень соответствия текстов формул и схем – явно отражается парное применение операций разделения (вилки) и соединения (сборки) потоков управления в сетевых двухполюсных структурах.