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

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

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

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

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

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

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

A601 = (Z2  ((((((Z0  Z2)& Z1)  Z0) & Z8) & (Z3  Z5)) & (Z7  Z4)))

A601 = (Z2 - ((((((Z0 - Z2)& Z1) - Z0) & Z8) & (Z3 - Z5)) & (Z7 - Z4)))

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

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

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

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

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

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

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

A602 = (Z2  ((((((Z0  Z2)& Z1)  Z0) & Z8) V (Z3  Z5)) & (Z7  Z4)))

A602 = (Z2 - ((((((Z0 - Z2)& Z1) - Z0) & Z8) V (Z3 - Z5)) & (Z7 - Z4)))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A602 = (Z2 - ( ( ( ( ( (Z0 - Z2)& Z1) - Z0) & Z8) V (Z3 - Z5)) & (Z7 - Z4)) )

1 234567 7 6 5 4 8 83 9 921

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

A602 = (Z2 - ( ( ( ( ( (Z0 - Z2)& Z1) - Z0) & Z8) V (Z3 - Z5) ) & (Z7 - Z4) ) )

1 234567 7 6 5 4 4 43 3 321

12 2 3 31 4 4

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

A602 = (1Z2-(2(3(4(5(6(7Z0-Z27)&Z16)-Z05)&Z84)V(8Z3-Z58)3)&(9Z7-Z49)2)1) =

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

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

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

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

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