Группирование элементов схемы – оболочковые схемы
Группирование элементов схемы
Вариант 2 структурной схемы. Автоматизация построения
Настройки: ИнФ / ГИ / ШСА / 0Ф
ШСА: Штрих-схема алгоритма / ГИ: Горизонтальное исполнение
РМУ 3.6 Схемные оболочки на ССА задаются строго соответственно скобочным оболочкам в ПИнФ СФА.
Проверочная нумерация оболочек
Вложенность формульных оболочек
Для контроля правильности построений используются различные способы нумерации формульных оболочек – пар сокобок " (i… )i" = " (i … )i"
СФА: Структурная формула алгоритма – нумерация оболочек
а) Внешняя (пристроенная) нумерация оболочек формулы
// переключить редактор на шрифт Courier New – постоянный шаг текста
A472= (Z1–((Z2–Z1)&Z7&(Z 3–Z1))–(Z4 V((Z2–Z1)&Z3)))
1 23 3 3 32 2 34 4 321
1 1 1 2 2 1 2 3 32
б) Внутренняя (встроенная) нумерация оболочек формулы
A472=(1Z 1–(21(31Z 2–Z 1) 31& Z 7& 32 (Z 3–Z 1) 32) 21–(22 Z 4V(33 (4Z 2–Z 1) 4& Z 3 ) 33) 22) 1
Вложенность схемных оболочек
Соответственно нумерации формульных оболочек выполняется нумерация схемных оболочек.
ССА: Структурная схема алгоритма
ШСА: Штрих-схема алгоритма – нумерация оболочек
ШСА: Штрих-схема алгоритма / ГИ: Горизонтальное исполнение
Повышение структурного соответствия формул и схем
Явная операция разделения потоков
// Выполняется только Вариант 2.
Выявление неявной операции разделения (вилки) потоков – распараллеливания алгоритмических цепей:
СФА: Структурная формула алгоритма / У: Поток управления
ИнФ: Инфиксная форма записи формулы
ПИнФ: Полная инфиксная форма // пошаговое построение
Неявная операция разделения, подразумеваемая по умолчанию
A472= (Z 1((Z 2Z 1)&Z 7& (Z 3Z 1))(Z 4V((Z 2Z 1)&Z 3 )))=
Явная простановка операции по умолчанию
= (Z 1 ((Z 2Z 1) #& Z 7#& (Z 3Z 1)) ( Z 4 #V ((Z 2Z 1) #& Z 3 )))=
= (Z 1((Z 2Z 1)#&Z 7#& (Z 3Z 1))(Z 4 #V((Z 2Z 1)#&Z 3 )))
Основная стандартная форма записи СФА
строчная индексация
A472= (Z 1((Z 2Z 1)#&Z 7#& (Z 3Z 1))(Z 4 #V((Z 2Z 1)#&Z 3 )))
подстрочная индексация (нижние индексы)
A472= (Z 1 – ((Z 2 –Z 1)#&Z 7#& (Z 3 –Z 1)) – (Z 4 #V((Z 2 –Z 1)#&Z 3 )))=
= (Z 1((Z 2Z 1)#&Z 7#& (Z 3Z 1))(Z 4 #V((Z 2Z 1)#&Z 3)))=
= Z 1(Z 2Z 1#&Z 7#&Z 3Z 1)(Z 4 #V(Z 2Z 1#&Z 3))=
Разделение парных операций
// Выполняется только Вариант 2
Выше все три операции представлены в инфиксной форме.
Вводится комбинированные способы записи разных операций.
СФА: Структурная формула алгоритма / У: Поток управления
КоФ: Комбинированная форма записи формулы
ИнПрПоФ: Инфиксно-префиксно-постфиксная форма
// Пошаговое построение
// более глубоко вложенная пара операций #&
A472= (Z 1((Z 2Z 1)#&Z 7#& (Z 3Z 1))(Z 4 #V((Z 2Z 1)#&Z 3 )))
= (Z 1((Z 2Z 1)#&Z 7#& (Z 3Z 1))# (Z 4, (# (Z 2Z 1)Z 3 )&)V)
// менее глубоко вложенная пара операций #V
A472=(Z 1(## (Z 2Z 1) ,Z 7, (Z 3Z 1) &&)# (Z 4, (# (Z 2Z 1)Z 3 )&)V)=
// Суперпозиция () сохраняется в инфиксе.
// Разделение (# – вилка) потоков выносится в префикс (влево).
// Соединение (сборка) по конъюнкции (&) и дизъюнкции (V)
// выносятся в постфикс (вправо).
Конечные результаты
Строчная индексация
A472=(Z 1(## (Z 2Z 1) ,Z 7, (Z 3Z 1) &&)# (Z 4, (# (Z 2Z 1)Z 3 )&)V)
Подстрочная индексация (нижние индексы) и упрощения
A472=(Z 1– (## (Z 2–Z 1) ,Z 7, (Z 3 –Z 1) &&) – # (Z 4, (# (Z 2 –Z 1)Z 3 )&)V)=
=(Z 1(## (Z 2Z 1) ,Z 7, (Z 3Z 1) &&) # (Z 4, (# (Z 2Z 1)Z 3 )&)V)=
=Z 1(## (Z 2Z 1) ,Z 7, (Z 3Z 1) &&) # (Z 4, (# (Z 2Z 1)Z 3 )&)V=
=Z 1(##Z 2Z 1 ,Z 7,Z 3Z 1 &&) # (Z 4, (# (Z 2Z 1)Z 3 )&)V=
=Z 1(##Z 2Z 1 ,Z 7,Z 3Z 1 &&) # (Z 4, # (Z 2Z 1)Z 3 &)V
Работа с тренажером схемных построения TRENTEST
Выполняется мозаичный набор структурных схем.
РМУ 3.7 Замена обозначений в СФА: "" - "–";
Вариант 1
СФА: Структурная формула алгоритма
A471= (Z 1 ((Z 2Z 1)& Z 7& (Z 3Z 1)) ( Z 4& ((Z 2Z 1)& Z 3 )))
A471= (Z 1 – ((Z 2–Z 1)& Z 7& (Z 3–Z 1))– ( Z 4& ((Z 2–Z 1)& Z 3 )))
ССА: Структурная схема алгоритма ШСА: Штрих-схема алгоритма
Вариант 2
СФА: Структурная формула алгоритма
A472= (Z 1((Z 2Z 1)&Z 7& (Z 3Z 1))(Z 4V((Z 2Z 1)&Z 3 )))=
A472= (Z 1 – ((Z 2 –Z 1)&Z 7& (Z 3 –Z 1)) – (Z 4 $ ((Z 2 –Z 1)&Z 3 )))=
ССА: Структурная схема алгоритма
ШСА: Штрих-схема алгоритма
РМУ 3.8 Выполнить мозаичный набор схемы
Рисунок 3.1 – Интерфейс программыTRENTEST: Тренажер – тестер