- •Млта: Математическая логика и теория алгоритмов
- •Комплект трех вариантов структурной формулы
- •Базисные структуры параллельных алгоритмов
- •1.2 Исходные структурные формулы параллельных алгоритмов
- •Стандартная форма формулы алгоритма
- •Контроль результатов
- •1. 2 Автоматизация построений основной схемы алгоритма Исходные условия
- •Вариант 1 структурной схемы. Автоматизация построений
- •Анализ структурной схемы Общие данные структуры алгоритма
- •Проверочная нумерация оболочек формул и схем
- •Вложенность формульных оболочек
- •Явная операция разделения (вилки) потоков
- •Работа с тренажером схемных построений
- •Мозаичный набор схем
- •Временные диаграммы параллельных алгоритмов
- •Графический расчет длительности алгоритма
- •Расчет длительности алгоритма
- •Вербальные тексты параллельных алгоритмов базисных структур
- •ИнФ: Инфиксная форма вербального текста
- •Ги: Горизонтальное исполнение
- •Ви: Вертикальное исполнение
- •Автоматизация построений
- •НИнФ: Неявная инфиксная форма вербального текста
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •КоФ: Комбинированная форма вербального текста: ИнПрПоФ
- •Ги: Горизонтальное исполнение
- •Alg a092: begin z1; cobegin begin z3; z1 end, begin cobegin z5, begin z2; cobegin z4, z0 coend end coend ; cobegin z6, begin z5; z2 end coend end coend_or end
- •Ви: Вертикальное исполнение
- •Автоматизация построений: Алгол (Паскаль)-подобный текст
- •ПрФ: Префиксная форма
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •Автоматизация построений
Базисные структуры параллельных алгоритмов
1.2 Исходные структурные формулы параллельных алгоритмов
Стандартная форма формулы алгоритма
По исходной СФА строится стандартная СФА – полная инфиксная форма.
СФА: Структурная формула алгоритма / У: Поток управления
ИнФ: Инфиксная форма записи формулы
СИнФ: Сокращенная инфиксная форма // исходная форма
// Неявная операция суперпозиции
Вариант 1 (A091):
A091 = Z1 ( Z3 Z1 & ( ( Z5 & Z2 ( Z4 & Z0 ) ) ( Z6 & Z5 Z2 ) ) )
Вариант 2 (A092):
A092 = Z1 ( Z3 Z1 V ( ( Z5 & Z2 ( Z4 & Z0 ) ) ( Z6 & Z5 Z2 ) ) )
ПИнФ: Полная инфиксная форма // пошаговое построение
Поэтапная простановка неявных операций суперпозиции:
Вариант 1 (A091)
= Z1 - (Z3 -Z1 & ( (Z5 &Z2 - (Z4 &Z0 ) ) - (Z6 &Z5 - Z2 ) ) ) =
Вариант 2 (A932)
= Z1 - (Z3 -Z1V( (Z5 &Z2 - (Z4 &Z0 ) ) - (Z6 &Z5 - Z2 ) ) ) =
// Последовательная запись операторов соответствует
// операция суперпозиции " – " (" ") – логическая связка следования "затем"
Простановка недостающих пар скобок (скобочных оболочек):
// Приоритет операции суперпозиции (, –>, –) выше приоритета операций
// операций конъюнкции (&) и дизъюнкции (V)
Вариант 1 (A091)
= Z1 - (Z3 -Z1 & ( (Z5 &Z2 - (Z4 &Z0 )) - (Z6 &Z5 - Z2 ))) =
= Z1 - ((Z3 -Z1) & ( (Z5 &Z2 - (Z4 &Z0 )) - (Z6 &Z5 - Z2 ))) =
= Z1 - ((Z3 -Z1) & ( (Z5 &Z2 - (Z4 &Z0 )) - (Z6 & (Z5 - Z2)))) =
= Z1 - ((Z3 -Z1) & ( (Z5 & (Z2 - (Z4 &Z0 ))) - (Z6 & (Z5 - Z2)))) =
= (Z1 - ((Z3 -Z1) & ( (Z5 & (Z2 - (Z4 &Z0 ))) - (Z6 & (Z5 - Z2)))))
Вариант 2 (A092)
= Z1 - (Z3 -Z1V( (Z5 &Z2 - (Z4 &Z0 )) - (Z6 &Z5 - Z2 ))) =
= Z1 - ((Z3 -Z1)V( (Z5 &Z2 - (Z4 &Z0 )) - (Z6 &Z5 - Z2 ))) =
= Z1 - ((Z3 -Z1)V( (Z5 &Z2 - (Z4 &Z0 )) - (Z6 & (Z5 - Z2)))) =
= Z1 - ((Z3 -Z1)V( (Z5 & (Z2 - (Z4 &Z0 ))) - (Z6 & (Z5 - Z2)))) =
= (Z1 - ((Z3 -Z1)V( (Z5 & (Z2 - (Z4 &Z0 ))) - (Z6 & (Z5 - Z2)))))
Основная стандартная форма записи СФА
Вариант 1 (A091)
Явная операция суперпозиции:
A091 = (Z1 ((Z3 Z1) & ( ( Z5 & (Z2 ( Z4 & Z0 ))) ( Z6 & (Z5 Z2)))))
Неявная операция суперпозиции:
A091 = (Z1((Z3Z1) & ((Z5&(Z2(Z4&Z0)))(Z6&(Z5Z2)))))
Вариант 2 (A092)
Явная операция суперпозиции:
A092 = (Z1 ((Z3 Z1) V ( ( Z5 & (Z2 ( Z4 & Z0 ))) ( Z6 & (Z5 Z2)))))
Неявная операция суперпозиции:
A092 = (Z1((Z3Z1) V ((Z5&(Z2(Z4&Z0)))(Z6&(Z5Z2)))))
Контроль результатов
Выполняются обратные (контрольные) упрощения записи.
СФА: Вариант 1 (A091)
Удаление знака суперпозиции:
A091 = (Z1((Z3Z1) & ((Z5&(Z2(Z4&Z0)))(Z6&(Z5Z2))))) =
Удаление внешних скобок:
= Z1((Z3Z1) & ((Z5&(Z2(Z4&Z0)))(Z6&(Z5Z2)))) =
Пошаговое удаление скобок для суперпозиции:
= Z1(Z3Z1 & ((Z5&(Z2(Z4&Z0)))(Z6&(Z5Z2)))) =
= Z1(Z3Z1 & ((Z5&(Z2(Z4&Z0)))(Z6&Z5Z2))) =
= Z1(Z3Z1 & ((Z5&Z2(Z4&Z0))(Z6&Z5Z2)))
СФА 0.1: Вариант 2 (A092) – аналогично:
A092 = (Z1((Z3Z1) V ((Z5&(Z2(Z4&Z0)))(Z6&(Z5Z2)))))=
= Z1(Z3Z1 V ((Z5&(Z2(Z4&Z0)))(Z6&(Z5Z2)))) =
= Z1(Z3Z1 V ((Z5&(Z2(Z4&Z0)))(Z6&Z5Z2))) =
= Z1(Z3Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5Z2)))
1. 2 Автоматизация построений основной схемы алгоритма Исходные условия
Выполняется работа с программой GRAMPRAL.
В программу вводятся СФА в полном формате:
ПИнФ: Полная инфиксная форма – с явными операциями суперпозиции (–) и всеми необходимыми парами скобок (внешние скобки могут не вводиться).