2. Автоматизация построений

Используется программа TEXTPRAL.

СФА 4.9: Структурная формула алгоритма – общая для всех форм

A400 = (Z1 - (((Z3 - Z1) & Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5))))) =

= (Z1 - (((Z3 - Z1) V Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5)))))

Выполняются построения для АлгТП: Алгол-подобного текста алгоритма.

Для ПасПТ: Паскаль-подобного текста – в данном случае все аналогично.

Набор формулы:

ГИ: Горизонтальное исполнение

Настройки: ИнФ / АлгПТ / ГИ

ШТА 4.2: Шаблон текста алгоритма

ВТА 4.3: Вербальный текст алгоритма

Текст алгоритма

alg A401: begin Z1; begin begin begin Z3; Z1 end and Z5 end and begin Z2; begin begin Z4; begin Z2 and Z8 end end and begin Z7; Z5 end end end end end

ВИ: Вертикальное исполнение

Настройки: ИнФ / АлгПТ / ВИ

ВТА 4.4: Вербальный текст алгоритма

2. НИнФ: Неявная инфиксная форма вербального текста

1. Исходные условия

Строится неявная инфиксная форма текста алгоритма относительно знака операции суперпозиции ().

Неявная форма строится для си-подобного текста.

2. Ги: Горизонтальное исполнение

СиПТ: Си-подобный текст

ШТА 4.3: Шаблон текста алгоритма

ИнФ: Инфиксная форма

A402 = (Z1 - (((Z3 - Z1) V Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5))))) =

НИнФ: Неявная инфиксная форма

= (Z1(((Z3Z1) V Z5) & (Z2((Z4(Z2 & Z8)) & (Z7Z5))))) =

Повышение читабельности (не обязательно)

Введение пробелов

= (Z1 (((Z3Z1) VZ5) & (Z2 ((Z4 (Z2 &Z8)) & (Z7Z5))))) =

Подстрочные индексы

= (Z₁(((Z₃Z₁) VZ₅) & (Z₂((Z₄(Z₂&Z₈)) & (Z₇Z₅)))))

ТЗО 4.2: Таблица замены обозначений

Компоненты ШТА	Ai	Zi	=	(	)	&	V
Компоненты РТА:	alg Ai	Zi;	:	{	}	& (&')	$ ($')

РТА 4.2: Рабочий текст алгоритма // замены обозначений

algA402: {Z₁{{{Z₃Z₁} VZ₅} & {Z₂{{Z₄{Z₂&Z₈}} & {Z₇Z₅}}}}}

РТА: Рабочий текст
1	2	3	4	5
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 | | | | ) | | | ) | | ) | ) )	A402:( | Z1-((( | | | | Z3- | | | | Z1 | | | )$ | | | Z5 | | )&( | | | Z2-(( | | | | | Z4-( | | | | | | Z2& | | | | | | Z8 | | | | | ) | | | | )&( | | | | | Z7- | | | | | Z5 | | | | ) | | | ) | | ) | ) )	alg A402: { Z1; { { { Z3; Z1; } $ Z5; } & { Z2; { { Z4; { Z2; & Z8; } } & { Z7; Z5; } } } } }

ВТА 4.5: Вербальный текст алгоритма // Дополнение к Error: Reference source not found

Подстановка функций команд (операторы присваивания)

РТА: Рабочий текст алгоритма
7	8
alg A402: { Z1:Y1 = F1(X1); { { { Z3:Y3 = F3(X3); Z1:Y1 = F1(X1); } $ Z5:Y5 = F5(X5); } & { Z2:Y2 = F2(X2); { { Z4:Y4 = F4(X4); { Z2:Y2 = F2(X2); & Z8:Y8 = F8(X8); } } & { Z7:Y7 = F7(X7); Z5:Y5 = F5(X5); } } } } }	alg A402: { Y1 = F1(X1); { { { Y3 = F3(X3); Y1 = F1(X1); } $ Y5 = F5(X5); } & { Y2 = F2(X2); { { Y4 = F4(X4); { Y2 = F2(X2); & Y8 = F8(X8); } } & { Y7 = F7(X7); Y5 = F5(X5); } } } } }

Автоматизация построений: си-подобный текст

СФА 4.10: Структурная формула алгоритма – общая для всех форм (ИнФ).

Набор формулы и добавление в список – аналогично предыдущему.

ГИ: Горизонтальное исполнение

Настройки: ИнФ / СиПТ / ГИ

ШТА 4.4: Шаблон текста алгоритма // Преобразованная формула

ВТА 4.6: Вербальный текст алгоритма

Текст алгоритма

algA402: {Z1; {{{Z3;Z1; } VZ5; } & {Z2;{{Z4;{Z2; &Z8; }} & {Z7; Z5; }}}}}

ВИ: Вертикальное исполнение

Настройки: ИнФ / СиПТ /ВИ

ВТА 4.7: Вербальный текст алгоритма