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