4. Ациклические многополюсные структуры алгоритмов

1. Исходные условия

Исходная структурная формула алгоритма (СФА)

Задана исходная формула алгоритма:

// модификация A143 исходной формулы

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

ИнФ: Инфиксная форма

СИнФ: Сокращенная инфиксная форма:

Нижние (подстрочные) индексы – согласно заданию

A470 = Z₁ (Z₂_&¹Z₁& Z₇& Z₃ ¹Z₁)( Z₄ V (Z₂Z₁& Z₃ )))

Строчные индексы – рабочая форма

Z1(Z2&1Z1&Z 7&Z3  1Z 1)(Z 4V(Z 2Z 1&Z3 )))=

Дополнительная модификация записи – при необходимости

=Z1(Z2 (&,L1) Z1&Z 7&Z3  (L1)Z 1)(Z 4V(Z 2Z 1&Z3 )))=

РМУ 4.12Проблемы между символами:

1) Между любыми символами (лексемами) допускается любое число пробелов (нуль или более):

A470 = Z₁ (Z₂_&¹Z₁&Z₇& Z₃ ¹Z₁)( Z₄V(Z₂Z₁&Z₃)))=

= Z₁ (Z₂ _& ¹ Z₁ & Z₇ & Z₃ ¹ Z₁)( Z₄ V (Z₂ Z₁& Z₃ )))=

=Z1(Z2& 1Z1&Z 7&Z3  1Z 1)(Z 4V(Z 2Z 1&Z3 )))=

=Z1 (Z2&1Z1 &Z 7 &Z3  1Z 1 )(Z 4V(Z 2Z 1 &Z3 )))=

2) Варианты записи различаются по наглядности (и читабельности) записи и дополнительной трудоемкости работы с формулами.

2. Комплект текстов алгоритмов (обобщенные тексты)

1. Стандартная полная форма структурной формулы

1. Стандартная форма формулы алгоритма

По исходной СФА строится стандартная СФА – полная инфиксная форма.

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

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

СИнФ: Сокращенная инфиксная форма

A473 =Z1(Z2&1Z1&Z 7&Z3  1Z 1)(Z 4V(Z 2Z 1&Z3 )))=

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

// Поэтапная простановка неявных операций суперпозиции:

// последовательная запись операторов соответствует

// операция суперпозиции (" – " или " ")

=Z1– (Z2–&1–Z1&Z 7&Z3–  –1Z 1)(Z 4V(Z 2–Z 1&Z3 )))=

// Простановка недостающих пар операционных скобок:

// приоритет операции суперпозиции (–) выше приоритета операций

// конъюнкции (&) и дизъюнкции (V)

=(Z1– ((Z2–&1–Z1)&Z 7& (Z3– 1–Z 1)) – (Z 4V((Z 2–Z 1)&Z3 )))

РМУ 4.13  Рекомендуется пошаговая простановка очередных пар скобок (на основе копирования предыдущего результата в новую строку) – резко снижается вероятность ошибок.

Основная стандартная форма записи СФА (замена: "–" = "")

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

A472=(Z1((Z2&1Z1)&Z 7& (Z3 1Z 1))(Z 4V((Z 2Z 1)&Z3 )))

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

A472=(Z₁((Z2_&¹Z₁)&Z ₇& (Z₃ ¹Z ₁))(Z ₄V((Z ₂Z ₁)&Z₃)))

2. Структурная схема

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

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

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

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

// в данном случае это СФА – полная ИнФ

A472=(Z1((Z2&1Z1)&Z 7& (Z3 1Z 1))(Z 4V((Z 2Z 1)&Z3 )))

A472=(Z₁((Z2_&¹Z₁)&Z ₇& (Z₃ ¹Z ₁))(Z ₄V((Z ₂Z ₁)&Z₃)))

2. Основная схема (без оболочек).Автоматизированные построения

Программа GRAMPRALтекущей версии обеспечивает построение только двухполюсных структуру.

Необходимые элементы схемы многополюсной структуры алгоритма

A473 = Z₁ (Z₂_&¹Z₁&Z₇& Z₃ ¹Z₁)( Z₄V(Z₂Z₁&Z₃)))=

A143 = (Z₁_&1Z₂VZ₃(Z₄&Z₅₁Z₆))Z₃Z₁=

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

A472 = Z₁ (Z₂Z₁&Z₇& Z₃Z₁)( Z₄V(Z₂Z₁&Z₃)))

A142 = (Z₁Z₂VZ₃(Z₄&Z₅Z₆))Z₃Z₁

Для этого строится промежуточная схема-заготовка по формуле

A473 = Z₁ (Z₂Z₁&Z₇& Z₃Z₁)( Z₄V(Z₂Z₁&Z₃)))

A143 = (Z₁Z₂VZ₃(Z₄&Z₅Z₆))Z₃Z₁

Общий порядок:

а) Ввод промежуточной формулы:

б) Построение промежуточной структурной схемы

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

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

в) Графическая доработка структурной схемы

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

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