1. 2 Автоматизация построений основной схемы алгоритма Исходные условия

Выполняется работа с программой GRAMPRAL.

В программу вводятся СФА в полном формате:

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

5. Вариант 1 структурной схемы. Автоматизация построений

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

// Замена обозначений: "" на "–"

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

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

Набор формулы:

Настройки программы: ИнФ / ГИ / БСА / БФ

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

Настройки: ИнФ / ГИ / ШСА / БФ

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

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

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

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

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

Набор формулы

Настройки: ИнФ / ГИ / БСА / БФ

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

Настройки: ИнФ / ГИ / ШСА / БФ

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

4. Анализ структурной схемы Общие данные структуры алгоритма

а) Структурный класс алгоритма:

двухполюсный постоянный ациклический алгоритм;

постоянная структура – это алгоритмическая структура с отсутствие переключательных элементов типа "если ... то", циклов с предусловием и т.п.

б) Общие структурные показатели

Показатели	Значения	Примечания
Общее число команд	10
Число разных команд	7	Нет повторных вхождений команд
Общее число элементов	18	Включая узлы вилки и сборки
Число пар операций распараллеливания	4	#&, #V
Степень параллелизма	5	Три параллельные ветви алгоритма
Наличие дизъюнктивных сборок	вариант 1 – нет вариант 2 – есть	Нет особенностей Есть 1 особый узел

1. Проверочная нумерация оболочек формул и схем

1. Вложенность формульных оболочек

Для контроля правильности построений используются различные способы нумерации формульных оболочек – пар скобок " (i… )i" = " (_i … )_i"

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

а) Внешняя (пристроенная) нумерация оболочек формулы

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

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

1 234 5 6 654 3 7 8 9 98721

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

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

1 234 5 6 654 3 3 4 5 54321

12 3 32 1 4 5 6 654

б) Внутренняя (встроенная) нумерация оболочек формулы

A022 = (1Z2-(2(3(4Z3&(5Z1-(6Z5&Z46)5)4)-Z13) V (7Z2-(8Z6&(9Z7-Z29)8)7)2)1) =

= (₁Z2 - (₂ (₃ (₄Z3 & (₅Z1 - (₆Z5 & Z4₆)₅)₄) - Z1₃) V (₇Z2 - (₈Z6 & (₉Z7 - Z2₉) ₈) ₇) ₂) ₁)

Вложенность схемных оболочек

Соответственно нумерации формульных оболочек выполняется нумерация

схемных оболочек. Целесообразна двухсторонняя нумерация схемных блоков.

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