
- •Млта: Математическая логика и теория алгоритмов
- •Комплект трех вариантов структурной формулы
- •Базисные структуры параллельных алгоритмов
- •1.2 Исходные структурные формулы параллельных алгоритмов
- •Стандартная форма формулы алгоритма
- •Контроль результатов
- •1. 2 Автоматизация построений основной схемы алгоритма Исходные условия
- •Вариант 1 структурной схемы. Автоматизация построений
- •Анализ структурной схемы Общие данные структуры алгоритма
- •Проверочная нумерация оболочек формул и схем
- •Вложенность формульных оболочек
- •Явная операция разделения (вилки) потоков
- •Работа с тренажером схемных построений
- •Мозаичный набор схем
- •Временные диаграммы параллельных алгоритмов
- •Графический расчет длительности алгоритма
- •Расчет длительности алгоритма
- •Вербальные тексты параллельных алгоритмов базисных структур
- •ИнФ: Инфиксная форма вербального текста
- •Ги: Горизонтальное исполнение
- •Алг a401: нач z1; нач нач нач z3; z1 кон и z5 кон и нач z2; нач нач z4; нач z2 и z8 кон кон и нач z7; z5 кон кон кон кон кон ви: Вертикальное исполнение
- •Автоматизация построений
- •НИнФ: Неявная инфиксная форма вербального текста
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •КоФ: Комбинированная форма вербального текста: ИнПрПоФ
- •Ги: Горизонтальное исполнение
- •Ви: Вертикальное исполнение
- •Автоматизация построений: Алгол (Паскаль)-подобный текст
- •ПрФ: Префиксная форма
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •Автоматизация построений
КоФ: Комбинированная форма вербального текста: ИнПрПоФ
Ги: Горизонтальное исполнение
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
ШТА 4.5: Шаблон текста алгоритма
ИнФ: Инфиксная форма
A402 = (Z1 - (((Z3 - Z1) V Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5))))) =
= (Z1 - (((Z3 - Z1) #V Z5) #& (Z2 - ((Z4 - (Z2 #& Z8)) #& (Z7 - Z5))))) =
ИнПрПоФ: Инфикcно-префиксно-постфиксная форма
A402 = (Z1 - # (#((Z3 - Z1), Z5)V,(Z2 - #((Z4 - #(Z2,Z8)&),(Z7 - Z5))&))&)
A402 = (Z1-#(#((Z3-Z1), Z5)V,(Z2-#((Z4-#(Z2,Z8)&),(Z7-Z5))&))&)
A402 = (Z1-#(#((Z3-Z1), Z5)V,(Z2-#((Z4-#(Z2,Z8)&),Z7-Z5)&))&)
A402 = (Z1-#(#(Z3-Z1, Z5)V,(Z2-#((Z4-#(Z2,Z8)&),Z7-Z5)&))&)
A402 = Z1-#(#(Z3-Z1, Z5)V,(Z2-#(Z4-#(Z2,Z8)&,Z7-Z5)&))&
ТА4.3: Рабочий текст алгоритма // замены обозначений
Исходная форма – строго соответственно шаблону
АлгПТ: Алгол-подобный текст
alg A402: begin Z1; parbegin parbegin begin Z3; Z1 end, Z5 parend_or, begin Z2; parbegin begin Z4; parbegin Z2, Z8 parend_and end, begin Z7; Z5 end parend_and end parend_and end
ПасПТ: Паскаль-подобный текст
alg A402: begin Z1; cobegin cobegin begin Z3; Z1 end, Z5 coend_or, begin Z2; cobegin begin Z4; cobegin Z2, Z8 coend_and end, begin Z7; Z5 end coend_and end coend_and end
Допустимые сокращения – в ориентации на классические аналоги:
АлгПТ: Алгол-подобный текст // parend_and = parend
alg A402: begin Z1; parbegin parbegin begin Z3; Z1 end, Z5 parend_or, begin Z2; parbegin begin Z4; parbegin Z2, Z8 parend end, begin Z7; Z5 end parend end parend end
ПасПТ: Паскаль-подобный текст //coend_and=coend
alg A402: begin Z1; cobegin cobegin begin Z3; Z1 end, Z5 coend_or, begin Z2; cobegin begin Z4; cobegin Z2, Z8 coend end, begin Z7; Z5 end coend end coend end
Ви: Вертикальное исполнение
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
A402=(Z1-#(#((Z3-Z1),Z5)$,(Z2-#((Z4-#(Z2,Z8)&),(Z7-Z5))&))&) ВТА
4.8: Вербальный текст алгоритма
РТА: Рабочий текст | |||
1 |
2 |
3
|
4 |
A402 = ( Z1 - # ( # ( ( Z3 - Z1 ) , Z5 ) $ , ( Z2 - # ( ( Z4 - # ( Z2 , Z8 ) & ) , ( Z7 - Z5 ) ) & ) ) & ) |
A402= ( Z1- #( #( ( Z3- Z1 ), Z5 )$, ( Z2- #( ( Z4- #( Z2, Z8 )& ), ( Z7- Z5 ) )& ) )& ) |
A402: ( | Z1- | #( | | #( | | | ( | | | | Z3- | | | | Z1 | | | ), | | | Z5 | | )$, | | ( | | | Z2- | | | #( | | | | ( | | | | | Z4- | | | | | #( | | | | | | Z2, | | | | | | Z8 | | | | | )& | | | | ), | | | | ( | | | | | Z7- | | | | | Z5 | | | | ) | | | )& | | ) | )& ) |
alg A402: begin Z1; parbegin // cobegin parbegin // cobegin begin Z3; Z1 end, Z5 parend_or, //coend or begin Z2; parbegin // cobegin begin Z4; parbegin // cobegin Z2, Z8 parend //coend end, begin Z7; Z5 end parend //coend end parend //coend end |
ВТА 4.9: Вербальный текст алгоритма // Дополнение к ВТА
Подстановка функций команд (операторы присваивания)
РТА: Рабочий текст алгоритма | |
6 |
7 |
alg A402: begin Z1:Y1 := F1(X1), parbegin parbegin begin Z3:Y3 := F3(X3), Z1:Y1 := F1(X1) end, Z5:Y5 := F5(X5) parend_or; begin Z2:Y2 := F2(X2), parbegin begin Z4:Y4 := F4(X4), parbegin Z2:Y2 := F2(X2), Z8:Y8 := F8(X8) parend ; end, begin Z7:Y7 := F7(X7), Z5:Y5 := F5(X5) end parend; end parend; end |
alg A402: begin Y1 := F1(X1), parbegin parbegin begin Y3 := F3(X3), Y1 := F1(X1) end, Y5 := F5(X5) parend_or; begin Y2 := F2(X2), parbegin begin Y4 := F4(X4), parbegin Y2 := F2(X2), Y8 := F8(X8) parend ; end, begin Y7 := F7(X7), Y5 := F5(X5) end parend; end parend; end |