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