Автоматизация построений
Используется программа TEXTPRAL.
СФА 4.9: Структурная формула алгоритма – общая для всех форм
A090 = (Z1 - ((Z3 - Z1) & (( Z5 & (Z2 - (Z4 & Z0 ))) - (Z6 & (Z5 - Z2))))) =
= (Z1 - ((Z3 -Z1)V((Z5 & (Z2 - (Z4 &Z0 ))) - (Z6 & (Z5 - Z2)))))
Выполняются построения для АлгТП: Алгол-подобного текста алгоритма.
Для ПасПТ: Паскаль-подобного текста – в данном случае все аналогично.
Набор формулы:
ГИ: Горизонтальное исполнение
Настройки: ИнФ / АлгПТ / ГИ
ШТА 4.2: Шаблон текста алгоритма
ВТА 4.3: Вербальный текст алгоритма
|
Текст алгоритма |
|
alg A091: begin Z1; begin begin Z3; Z1 end and begin begin Z5 and begin Z2; begin Z4 and Z0 end end end; begin Z6 and begin Z5; Z2 end end end end end |
ВИ: Вертикальное исполнение
Настройки: ИнФ / АлгПТ / ВИ
ВТА 4.4: Вербальный текст алгоритма
НИнФ: Неявная инфиксная форма вербального текста
Исходные условия
Строится неявная инфиксная форма текста алгоритма относительно знака операции суперпозиции ().
Неявная форма строится для си-подобного текста.
Ги: Горизонтальное исполнение
СиПТ: Си-подобный текст
ШТА 4.3: Шаблон текста алгоритма
ИнФ: Инфиксная форма
A092 = (Z1 - ((Z3 - Z1) V ((Z5 & (Z2 - (Z4 & Z0))) - (Z6 & (Z5 - Z2))))) =
НИнФ: Неявная инфиксная форма
= (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)))))
ТЗО 4.2: Таблица замены обозначений
|
Компоненты ШТА |
Ai |
Zi |
= |
( |
) |
& |
V |
|
Компоненты РТА: |
alg Ai |
Zi; |
: |
{ |
} |
& (&') |
$ ($') |
РТА 4.2: Рабочий текст алгоритма // замены обозначений
algA092: {Z1{{Z3Z1} $ {{Z5& {Z2{Z4&Z0}}} {Z6& {Z5Z2}}}}}
|
РТА: Рабочий текст |
| |||
|
1 |
2 |
3
|
4 |
5 |
|
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 | | | | ) | | | ) | | ) | ) ) |
A092:( | Z1-(( | | | Z3- | | | Z1 | | ) | | $(( | | | | Z5 | | | | &( | | | | | Z2-( | | | | | | Z4 | | | | | | & | | | | | | Z0 | | | | | ) | | | | ) | | | )-( | | | | Z6 | | | | &( | | | | | Z5- | | | | | Z2 | | | | ) | | | ) | | ) | ) ) |
alg A092: { Z1;{{ Z3; Z1; } ${{ Z5; &{ Z2;{ Z4; & Z0; } } }{ Z6; &{ Z5; Z2; } } } } } |
ВТА 4.5: Вербальный текст алгоритма // Дополнение к Error: Reference source not found
Подстановка функций команд (операторы присваивания)
|
РТА: Рабочий текст алгоритма | |
|
7 |
8 |
|
alg A092: { Z1:Y1 = F1(X1); { { Z3:Y3 = F3(X3); Z1:Y1 = F1(X1); } $ { { Z5:Y5 = F5(X5); & { Z2:Y2 = F2(X2); { Z4:Y4 = F4(X4); & Z0:Y0 = F0(X0); } } } { Z6:Y6 = F6(X6); & { Z5:Y5 = F5(X5); Z2:Y2 = F2(X2); } } } } } |
alg A092: { Y1 = F1(X1); { { Y3 = F3(X3); Y1 = F1(X1); } $ { { Y5 = F5(X5); & { Y2 = F2(X2); { Y4 = F4(X4); & Y0 = F0(X0); } } } { Y6 = F6(X6); & { Y5 = F5(X5); Y2 = F2(X2); } } } } } |
Автоматизация построений: си-подобный текст
СФА 4.10: Структурная формула алгоритма – общая для всех форм (ИнФ).
Набор формулы и добавление в список – аналогично предыдущему.
ГИ: Горизонтальное исполнение
Настройки: ИнФ / СиПТ / ГИ
ШТА 4.4: Шаблон текста алгоритма // Преобразованная формула
ВТА 4.6: Вербальный текст алгоритма
|
Текст алгоритма |
|
alg A092: { Z1; { { Z3; Z1; } $ { { Z5; & { Z2; { Z4; & Z0; } } } { Z6; & { Z5; Z2; } } } } } |
ВИ: Вертикальное исполнение
Настройки: ИнФ / СиПТ /ВИ
ВТА 4.7: Вербальный текст алгоритма
