- •Млта: Математическая логика и теория алгоритмов
- •Комплект трех вариантов структурной формулы
- •Базисные структуры параллельных алгоритмов
- •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
- •Ви: Вертикальное исполнение
- •Автоматизация построений: Алгол (Паскаль)-подобный текст
- •ПрФ: Префиксная форма
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •Автоматизация построений
КоФ: Комбинированная форма вербального текста: ИнПрПоФ
Ги: Горизонтальное исполнение
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
ШТА 4.5: Шаблон текста алгоритма
ИнФ: Инфиксная форма
A092 = (Z1 - ((Z3 - Z1) V ((Z5 & (Z2 - (Z4 & Z0))) - (Z6 & (Z5 - Z2))))) =
= (Z1 - ((Z3 - Z1) #V ((Z5 #& (Z2 - (Z4 #& Z0))) - (Z6 #& (Z5 - Z2))))) =
ИнПрПоФ: Инфикcно-префиксно-постфиксная форма
= (Z1 - #((Z3 - Z1), ((Z5 #& (Z2 - (Z4 #& Z0))) - (Z6 #& (Z5 - Z2))))V) =
= (Z1 - #((Z3 - Z1),(#(Z5,(Z2 -#(Z4,Z0)&)&) - # (Z6,(Z5 - Z2))&))V)
ТА4.3: Рабочий текст алгоритма // замены обозначений
Исходная форма – строго соответственно шаблону
АлгПТ: Алгол-подобный текст
alg A092: begin Z1; parbegin begin Z3; Z1 end, begin parbegin Z5, begin Z2; parbegin Z4, Z0 parend_and end parend_and; parbegin Z6, begin Z5; Z2 end parend_and end parend_or end
ПасПТ: Паскаль-подобный текст
alg A092: begin Z1; cobegin begin Z3; Z1 end, begin cobegin Z5, begin Z2; cobegin Z4, Z0 coend_and end coend_and; cobegin Z6, begin Z5; Z2 end coend_and end coend_or end
Допустимые сокращения – в ориентации на классические аналоги:
АлгПТ: Алгол-подобный текст // parend_and = parend
alg A092: begin Z1; parbegin begin Z3; Z1 end, begin parbegin Z5, begin Z2; parbegin Z4, Z0 parend end parend; parbegin Z6, begin Z5; Z2 end parend end parend_or end
ПасПТ: Паскаль-подобный текст //coend_and=coend
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
Ви: Вертикальное исполнение
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
A092 = (Z1 - #((Z3 - Z1),(#(Z5,(Z2 -#(Z4,Z0)&)&) - # (Z6,(Z5 - Z2))&))V)
ВТА4.8: Вербальный текст алгоритма
|
РТА: Рабочий текст | |||
|
1 |
2 |
3
|
4 |
|
A092 = ( Z1 - # ( ( Z3 - Z1 ) , ( # ( Z5 , ( Z2 - # ( Z4 , Z0 ) & ) ) & - # ( Z6 , ( Z5 - Z2 ) ) & ) ) $ ) |
A092= ( Z1- #( ( Z3- Z1 ), ( #( Z5, ( Z2- #( Z4, Z0 )& ) )&- #( Z6, ( Z5- Z2 ) )& ) )$ ) |
A092: ( | Z1- | #( | | ( | | | Z3- | | | Z1 | | ), | | ( | | | #( | | | | Z5, | | | | ( | | | | | Z2- | | | | | #( | | | | | | Z4, | | | | | | Z0 | | | | | )& | | | | ) | | | )&- | | | #( | | | | Z6, | | | | ( | | | | | Z5- | | | | | Z2 | | | | ) | | | )& | | ) | )$ ) |
alg A092: begin Z1; parbegin // cobegin begin Z3; Z1 end, begin parbegin // cobegin Z5, begin Z2; parbegin // cobegin Z4, Z0 parend // coend end parend; // coend parbegin // cobegin Z6, begin Z5; Z2 end parend // coend end parend_or // coend or end |
ВТА4.9: Вербальный текст алгоритма // Дополнение к ВТА 4 .8
Подстановка функций команд (операторы присваивания)
|
РТА: Рабочий текст алгоритма | |
|
6 |
7 |
|
alg A092: begin Z1:Y1 := F1(X1), parbegin begin Z3:Y3 := F3(X3), Z1:Y1 := F1(X1) end, begin parbegin Z5:Y5 := F5(X5), begin Z2:Y2 := F2(X2), parbegin Z4:Y4 := F4(X4), Z0:Y0 := F0(X0) parend_and; end parend_and; parbegin Z6:Y6 := F6(X6), begin Z5:Y5 := F5(X5), Z2:Y2 := F2(X2) end parend_and; end parend_or; end |
alg A092: begin Y1 := F1(X1), parbegin begin Y3 := F3(X3), Y1 := F1(X1) end, begin parbegin Y5 := F5(X5), begin Y2 := F2(X2), parbegin Y4 := F4(X4), Y0 := F0(X0) parend_and; end parend_and; parbegin Y6 := F6(X6), begin Y5 := F5(X5), Y2 := F2(X2) end parend_and; end parend_or; end |