Автоматизация построений
Используется программа TEXTPRAL.
СФА 1.1: Структурная формула алгоритма – общая для всех форм
А582 = (Z7 (Z1 & (Z6 (Z0&(Z3 Z6))))V(Z7 (Z4 &Z5)Z7))
А582 = (Z7 - (Z1 & (Z6 - (Z0&(Z3 -Z6)))) $ (Z7 - (Z4 &Z5) -Z7))
Выполняются построения для АлгТП: Алгол-подобного текста алгоритма.
Для ПасПТ: Паскаль-подобного текста – в данном случае все аналогично.
Набор формулы:
ГИ: Горизонтальное исполнение
Настройки: ИнФ / АлгПТ / ГИ
ВТА 1.3: Вербальный текст алгоритма
Начало
Окончание
ВИ: Вертикальное исполнение
Настройки: ИнФ / АлгПТ / ВИ
ВТА 1.4: Вербальный текст алгоритма
НИнФ: Неявная инфиксная форма вербального текста
Исходные условия
Строится неявная инфиксная форма текста алгоритма относительно знака операции суперпозиции ().
Неявная форма строится для си-подобного текста.
Ги: Горизонтальное исполнение
СиПТ: Си-подобный текст
ШТА 2.2: Шаблон текста алгоритма
ИнФ: Инфиксная форма
А582 = (Z7 (Z1 & (Z6 (Z0&(Z3 Z6))))V(Z7 (Z4 &Z5)Z7)) =
НИнФ: Неявная инфиксная форма
// Удаление явной связки следования (суперпозиции )
= (Z7(Z1&(Z6(Z0&(Z3Z6))))V(Z7(Z4&Z5)Z7))
Повышение читабельности (не обязательно)
Введение пробелов
A582 = (Z7 (Z1 & (Z6 (Z0 & (Z3 Z6)))) V (Z7 (Z4 & Z5) Z7))
ТЗО4.2: Таблица замены обозначений
|
Компоненты ШТА |
Ai |
Zi |
= |
( |
) |
& |
V |
|
Компоненты РТА: |
alg Ai |
Zi; |
: |
{ |
} |
& (&') |
$ ($') |
РТА 4.2: Рабочий текст алгоритма // замены обозначений
algA582 : {Z7 ; {Z1 & {Z6 ; {Z0 & {Z3 ;Z6}}}} $ {Z7 ; {Z4 &Z5} ;Z7}}
Ви: Вертикальное исполнение
СиПТ: Си-подобный текст
// A582 = (Z7 (Z1 & (Z6 (Z0 & (Z3 Z6)))) V (Z7 (Z4 & Z5) Z7))
// A582 = (Z7 (Z1 & (Z6 (Z0 & (Z3 Z6)))) $ (Z7 (Z4 & Z5) Z7))
ВТА 4.5: Вербальный текст алгоритма
|
ШТА: Шаблон текста алгоритма |
РТА: Рабочий текст | |||
|
1 |
2 |
3 |
4 |
5 |
|
A582 = ( Z7 ( Z1 & ( Z6 ( Z0 & ( Z3 Z6 ) ) ) ) V ( Z7 ( Z4 & Z5 ) Z7 ) ) |
A582= ( Z7 ( Z1& ( Z6 ( Z0& ( Z3 Z6 ) ) ) ) V ( Z7 ( Z4& Z5 ) Z7 ) ) |
A582= ( Z7 ( Z1& ( Z6 ( Z0& ( Z3 Z6 ) ) ) ) V ( Z7 ( Z4& Z5 ) Z7 ) ) |
A582= ( Z7 ( Z1& ( Z6 ( Z0& ( Z3 Z6 ) ) ) ) V ( Z7 ( Z4& Z5 ) Z7 ) ) |
A582= { Z7 { Z1& { Z6 { Z0& { Z3 Z6 } } } } V { Z7 { Z4& Z5 } Z7 } } |
ВТА 4.6: Вербальный текст алгоритма // Дополнение к ВТА 4 .5
Подстановка функций команд (операторы присваивания)
|
РТА: Рабочий текст алгоритма | |
|
6 |
7 |
|
A582: ya580 = Fa580(xa580): { Z7: yz7 = Fz7(xz7); { Z1: yz1 = Fz1(xz1); & { Z6: yz6 = Fz6(xz6); { Z0: yz0 = Fz0(xz0); & { Z3: yz3 = Fz3(xz3); Z6: yz6 = Fz6(xz6); } } } } V { Z7: yz7 = Fz7(xz7); { Z4: yz4 = Fz4(xz4); & Z3: yz3 = Fz3(xz3); } Z7: yz7 = Fz7(xz7); } } |
A582: ya580 = Fa580(xa580): { yz7 = Fz7(xz7); { yz1 = Fz1(xz1); & { Z6: yz6 = Fz6(xz6); { yz0 = Fz0(xz0); & { yz3 = Fz3(xz3); yz6 = Fz6(xz6); } } } } V { yz7 = Fz7(xz7); { yz4 = Fz4(xz4); & yz3 = Fz3(xz3); } yz7 = Fz7(xz7); } } |