3. Явная операция разделения (вилки) потоков

В сопоставлении СФА со ССА выявляется неявная операция разделения (вилки) потоков – распараллеливания алгоритмических цепей:

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

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

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

Неявная операция разделения (подразумевается)

A022 = (Z2  (((Z3 & (Z1  (Z5 & Z4)))  Z1) V (Z2  (Z6 & (Z7  Z2))))) =

Явная простановка операции разделения (вилки)

= (Z2(((Z3_#& (Z1(Z5_#&Z4)))Z1)_#V(Z2(Z6_#& (Z7Z2))))) =

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

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

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

A022 = (Z2(((Z3_#& (Z1(Z5_#&Z4)))Z1)_#V(Z2(Z6_#& (Z7Z2))))) Подстрочная индексация (нижние индексы) и упрощения записи:

A602 = (Z2 - (((Z3 #& (Z1 - (Z5 #& Z4))) - Z1) #V (Z2 - (Z6 #& (Z7 - Z2))))) =

= Z2 - (((Z3 #& (Z1 - (Z5 #& Z4))) - Z1) #V (Z2 - (Z6 #& (Z7 - Z2)))) =

= Z2(((Z3 #& (Z1(Z5 #& Z4)))Z1) #V (Z2(Z6 #& Z7Z2))) =

= Z2(((Z3 #& Z1(Z5 #& Z4))Z1) #V (Z2(Z6 #& Z7Z2))) =

= Z2((Z3 #& Z1(Z5 #& Z4))Z1 #V (Z2(Z6 #& Z7Z2))) =

= Z2((Z3 #& Z1(Z5 #& Z4))Z1 #V Z2(Z6 #& Z7Z2))

Разделение парных операций

// Выполняется только Вариант 2

Выше все три операции представлены в инфиксной форме.

Вводится комбинированные способы записи разных операций.

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

КоФ: Комбинированная форма записи формулы

ИнПрПоФ: Инфиксно-префиксно-постфиксная форма

// Пошаговое построение

Исходная формула:

A022 = (Z2 - (((Z3 #& (Z1 - (Z5 #& Z4))) - Z1) #V (Z2 - (Z6 #& (Z7 - Z2))))) =

Разносится более глубоко вложенная пара операций #&:

= (Z2 - ((#(Z3,(Z1 - #(Z5,Z4)&))& -Z1) #V(Z2 - #(Z6,(Z7 -Z2))&))) =

Разносится менее глубоко вложенная пара операций #V:

= (Z2-#((#(Z3,(Z1-#(Z5,Z4)&))&-Z1),(Z2-#(Z6,(Z7-Z2))&))V)

// Суперпозиция () сохраняется в инфиксе.

// Разделение (# – вилка) потоков выносится в префикс (влево).

// Соединение (сборка) по конъюнкции (&) и дизъюнкции (V)

// выносятся в постфикс (вправо).

Конечные результаты:

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

A022 = (Z2-#((#(Z3,(Z1-#(Z5,Z4)&))&-Z1),(Z2-#(Z6,(Z7-Z2))&))V)

Подстрочная индексация (нижние индексы) и упрощения записи:

A022 = (Z2-#((#(Z3,(Z1-#(Z5,Z4)&))&-Z1),(Z2-#(Z6,(Z7-Z2))&))V)

A022 = (Z2#((#(Z3,(Z1#(Z5,Z4)&))&Z1),(Z2#(Z6,(Z7Z2))&))V)

A022 = (Z2#((#(Z3,(Z1#(Z5,Z4)&))&Z1),(Z2#(Z6,Z7Z2)&))V)

A022 = (Z2#((#(Z3,Z1#(Z5,Z4)&)&Z1),(Z2#(Z6,Z7Z2)&))V)

A022 = (Z2#((#(Z3,Z1#(Z5,Z4)&)&Z1),Z2#(Z6,Z7Z2)&)V)

A022 = (Z2#(#(Z3,Z1#(Z5,Z4)&)&Z1,Z2#(Z6,Z7Z2)&)V)

A022 = Z2#(#(Z3,Z1#(Z5,Z4)&)&Z1,Z2#(Z6,Z7Z2)&)V

2. Работа с тренажером схемных построений

1. Мозаичный набор схем

Используется программа TRENTEST– графический тренажер-тестер.

Выполняется мозаичный набор структурных схем.

Вариант 1

СФА 0.5: Структурная формула алгоритма

A021 = (Z2 - (((Z3 & (Z1 - (Z5 & Z4))) - Z1) & (Z2 - (Z6 & (Z7 - Z2)))))

A021 = (Z2  (((Z3 & (Z1  (Z5 & Z4)))  Z1) & (Z2  (Z6 & (Z7  Z2)))))

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

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

Вариант 2

СФА 0.6: Структурная формула алгоритма

A022 = (Z2 - (((Z3 & (Z1 - (Z5 & Z4))) - Z1) V (Z2 - (Z6 & (Z7 - Z2)))))

A022 = (Z2  (((Z3 & (Z1  (Z5 & Z4)))  Z1) V (Z2  (Z6 & (Z7  Z2)))))

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

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

РМУ 0.2Однозначность графических построений:

1) В изложенной технике структурных построений обеспечивается возможность однозначного построения ССА по заданной СФА.

2) Данное обстоятельство обеспечивает возможность контроля правильности учебных схемных построений на основе сравнения с эталоном.