- •Млта: Математическая логика и теория алгоритмов
- •Комплект трех вариантов структурной формулы
- •Базисные структуры параллельных алгоритмов
- •1.2 Исходные структурные формулы параллельных алгоритмов
- •Стандартная форма формулы алгоритма
- •Контроль результатов
- •1. 2 Автоматизация построений основной схемы алгоритма Исходные условия
- •Вариант 1 структурной схемы. Автоматизация построений
- •Анализ структурной схемы Общие данные структуры алгоритма
- •Проверочная нумерация оболочек формул и схем
- •Вложенность формульных оболочек
- •Явная операция разделения (вилки) потоков
- •Работа с тренажером схемных построений
- •Мозаичный набор схем
- •Временные диаграммы параллельных алгоритмов
- •Графический расчет длительности алгоритма
- •Расчет длительности алгоритма
- •Вербальные тексты параллельных алгоритмов базисных структур
- •ИнФ: Инфиксная форма вербального текста
- •Ги: Горизонтальное исполнение
- •Алг a021: нач z2; нач нач нач z3 и нач z1; нач z5 и z4 кон кон кон; z1 кон и нач z2; нач z6 и нач z7; z2 кон кон кон кон кон ви: Вертикальное исполнение
- •Автоматизация построений
- •НИнФ: Неявная инфиксная форма вербального текста
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •КоФ: Комбинированная форма вербального текста: ИнПрПоФ
- •Ги: Горизонтальное исполнение
- •Alg a022: begin z2; cobegin begin cobegin z3, begin z1; cobegin z5, z4 coend end coend; z1 end, begin z2; cobegin z6, begin z7; z2 end coend end coend_or end
- •Ви: Вертикальное исполнение
- •Автоматизация построений: Алгол (Паскаль)-подобный текст
- •ПрФ: Префиксная форма
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •Ви: Вертикальное исполнение
- •Автоматизация построений
Автоматизация построений
Используется программа TEXTPRAL.
СФА 4.9: Структурная формула алгоритма – общая для всех форм
A020 = (Z2 - (((Z3 & (Z1 - (Z5 & Z4))) - Z1) & (Z2 - (Z6 & (Z7 - Z2))))) =
= (Z2 - (((Z3 & (Z1 - (Z5 & Z4))) - Z1) V (Z2 - (Z6 & (Z7 - Z2))))) =
Выполняются построения для АлгТП: Алгол-подобного текста алгоритма.
Для ПасПТ: Паскаль-подобного текста – в данном случае все аналогично.
Набор формулы:
ГИ: Горизонтальное исполнение
Настройки: ИнФ / АлгПТ / ГИ
ШТА 4.2: Шаблон текста алгоритма
ВТА 4.3: Вербальный текст алгоритма
Текст алгоритма |
alg A021: begin Z2; begin begin begin Z3 and begin Z1; begin Z5 and Z4 end end end; Z1 end and begin Z2; begin Z6 and begin Z7; Z2 end end end end end |
ВИ: Вертикальное исполнение
Настройки: ИнФ / АлгПТ / ВИ
ВТА 4.4: Вербальный текст алгоритма
НИнФ: Неявная инфиксная форма вербального текста
Исходные условия
Строится неявная инфиксная форма текста алгоритма относительно знака операции суперпозиции ().
Неявная форма строится для си-подобного текста.
Ги: Горизонтальное исполнение
СиПТ: Си-подобный текст
ШТА 4.3: Шаблон текста алгоритма
ИнФ: Инфиксная форма
A022 = (Z2 - (((Z3 & (Z1 - (Z5 & Z4))) - Z1) V (Z2 - (Z6 & (Z7 - Z2))))) =
НИнФ: Неявная инфиксная форма
= (Z2(((Z3 & (Z1(Z5 & Z4)))Z1) V (Z2(Z6 & (Z7Z2))))) =
Повышение читабельности (не обязательно)
Введение пробелов
= (Z2 (((Z3 & (Z1 (Z5 &Z4)))Z1)V(Z2 (Z6 & (Z7Z2))))) =
Подстрочные индексы
= (Z2(((Z3& (Z1(Z5&Z4)))Z1)V(Z2(Z6& (Z7Z2)))))
ТЗО 4.2: Таблица замены обозначений
Компоненты ШТА |
Ai |
Zi |
= |
( |
) |
& |
V |
Компоненты РТА: |
alg Ai |
Zi; |
: |
{ |
} |
& (&') |
$ ($') |
РТА 4.2: Рабочий текст алгоритма // замены обозначений
algA022: {Z2{{{Z3& {Z1{Z5&Z4}}}Z1} $ {Z2{Z6& {Z7Z2}}}}}
РТА: Рабочий текст |
| |||
1 |
2 |
3
|
4 |
5 |
A022 = ( Z2; ( ( ( Z3; & ( Z1; ( Z5; & Z4; ) ) ) Z1; ) $ ( Z2; ( Z6; & ( Z7; Z2; ) ) ) ) ) |
A022= ( Z2; ( ( ( Z3;& ( Z1; ( Z5;& Z4; ) ) ) Z1; )$ ( Z2; ( Z6;& ( Z7; Z2; ) ) ) ) ) |
A022: ( | Z2; | ( | | ( | | | ( | | | | Z3;& | | | | ( | | | | | Z1; | | | | | ( | | | | | | Z5;& | | | | | | Z4; | | | | | ) | | | | ) | | | ) | | | Z1; | | )$ | | ( | | | Z2; | | | ( | | | | Z6;& | | | | ( | | | | | Z7; | | | | | Z2; | | | | ) | | | ) | | ) | ) ) |
A022:( | Z2;-((( | | | | Z3;&( | | | | | Z1;-( | | | | | | Z5;& | | | | | | Z4; | | | | | ) | | | | ) | | | )- | | | Z1; | | )$( | | | Z2;-( | | | | Z6;&( | | | | | Z7;- | | | | | Z2; | | | | ) | | | ) | | ) | ) ) |
alg A022: { Z2; { { { Z3; & { Z1; { Z5; & Z4; } } } Z1; } $ { Z2; { Z6; & { Z7; Z2; } } } } } |
ВТА 4.5: Вербальный текст алгоритма // Дополнение к Error: Reference source not found
Подстановка функций команд (операторы присваивания)
РТА: Рабочий текст алгоритма | |
7 |
8 |
alg A022: { Z2:Y2 = F2(X2); { { { Z3:Y3 = F3(X3); & { Z1:Y1 = F1(X1); { Z5:Y5 = F5(X5); & Z4:Y4 = F4(X4); } } } Z1:Y1 = F1(X1); } $ { Z2:Y2 = F2(X2); { Z6:Y6 = F6(X6); & { Z7:Y7 = F7(X7); Z2:Y2 = F2(X2); } } } } } |
alg A022: { Y2 = F2(X2); { { { Y3 = F3(X3); & { Y1 = F1(X1); { Y5 = F5(X5); & Y4 = F4(X4); } } } Y1 = F1(X1); } $ { Y2 = F2(X2); { Y6 = F6(X6); & { Y7 = F7(X7); Y2 = F2(X2); } } } } } |
Автоматизация построений: си-подобный текст
СФА 4.10: Структурная формула алгоритма – общая для всех форм (ИнФ).
Набор формулы и добавление в список – аналогично предыдущему.
ГИ: Горизонтальное исполнение
Настройки: ИнФ / СиПТ / ГИ
ШТА 4.4: Шаблон текста алгоритма // Преобразованная формула
ВТА 4.6: Вербальный текст алгоритма
Текст алгоритма |
algA022: {Z2; { { {Z3; & {Z1; {Z5; &Z4; } } }Z1; } $ {Z2; {Z6; & {Z7;Z2; } } } } } |
ВИ: Вертикальное исполнение
Настройки: ИнФ / СиПТ /ВИ
ВТА 4.7: Вербальный текст алгоритма