2. Исходные структурные формулы параллельных алгоритмов

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

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

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

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

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

Вариант 1 (A471):

A471 =Z 1(Z 2Z 1& Z 7& Z 3Z 1)( Z 4& (Z 2Z 1& Z 3 ))

Вариант 2 (A472):

A472 = Z 1(Z 2Z 1& Z 7& Z 3Z 1)( Z 4 V (Z 2Z 1& Z 3 ))=

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

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

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

// операция суперпозиции " – " (" ") – логическая связка следования "затем"

Вариант 1 (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 2–Z 1& Z 7& Z 3–Z 1)– ( Z 4 V (Z 2–Z 1& Z 3 ))=

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

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

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

Вариант 1 (A471):

=Z 1 – (Z 2–Z 1& Z 7& Z 3–Z 1)– ( Z 4& (Z 2–Z 1& Z 3 ))=

= (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 2–Z 1)& Z 7& (Z 3–Z 1))– ( Z 4 V ((Z 2–Z 1)& Z 3 ))

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

Вариант 1 (A472):

A471= (Z 1  ((Z 2Z 1)& Z 7& (Z 3Z 1)) ( Z 4& ((Z 2Z 1)& Z 3 )))=

= (Z 1((Z 2Z 1)& Z 7& (Z 3Z 1))( Z 4& ((Z 2Z 1)& Z 3 )))

Вариант 2 (A472):

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 )))

Контроль результатов

Выполняются обратные (контрольные) упрощения записи.

Вариант 1:

// удаление знака суперпозиции

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

// удаление внешних скобок

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

// пошаговое удаление внутренних скобок для суперпозиции

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

Вариант 2 – аналогично:

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

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

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

Структурные схемы параллельных алгоритмов

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

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

A471= (Z 1  ((Z 2Z 1)& Z 7& (Z 3Z 1)) ( Z 4& ((Z 2Z 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 структурной схемы. Автоматизация построений

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

РМУ 3.5 Замена обозначений: "" - "–"; "V" – "|"

A472= (Z 1 ((Z 2Z 1)& Z 7& (Z 3Z 1)) ( Z 4 V ((Z 2Z 1)& Z 3

A472= (Z 1 – ((Z 2–Z 1)& Z 7& (Z 3–Z 1))– ( Z 4 | ((Z 2–Z 1)& Z 3 )))

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

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

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

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

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