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

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

A572 = (Z2  (((Z0 & Z8)  Z2) & Z3)  ((Z4 V (Z8  Z2)) V (Z6  Z7)))

A572 = (Z2 – (((Z0 & Z8) – Z2) & Z3) – ((Z4 $ (Z8 – Z2)) $ (Z6 – Z7)))

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

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

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

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

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

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

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

Начало

Окончание

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

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

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

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

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

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

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

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

A572 = (Z2  (((Z0 & Z8)  Z2) & Z3)  ((Z4 V (Z8  Z2)) V (Z6  Z7))) =

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

= (Z2(((Z0 & Z8)Z2) & Z3)((Z4 V (Z8Z2)) V (Z6Z7)))

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

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

A572 = (Z2 (((Z0 & Z8) Z2) & Z3) ((Z4 V (Z8 Z2)) V (Z6 Z7)))

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

A572 = (Z₂ (((Z₀ & Z₈) Z₂) & Z₃) ((Z₄ V (Z₈ Z₂)) V (Z₆ Z₇)))

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

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

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

algA572: {Z2 {{{Z0 &Z8}Z2} &Z3} {{Z4 $ {Z8Z2}} $ {Z6Z7}}}

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

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

// A572 = (Z2(((Z0 & Z8)Z2) & Z3)((Z4 V (Z8Z2)) V (Z6Z7)))

// A572 = (Z2(((Z0 & Z8)Z2) & Z3)((Z4 $ (Z8Z2)) $ (Z6Z7)))

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

ШТА: Шаблон текста алгоритма					РТА: Рабочий текст
1	2	3	4	5	6
A572 = ( Z2 ( ( ( Z0 & Z8 ) Z2 ) & Z3 ) ( ( Z4 V ( Z8 Z2 ) ) V (	Z6 Z7 ) ) )	A572 = ( Z2 ( ( ( Z0 & Z8 ) Z2 ) & Z3 ) ( ( Z4 V ( Z8 Z2 ) ) V ( Z6 Z7 ) ) )	A572 = ( | Z2 | | ( | | | ( | | | ( | | | | | Z0 & | | | | | Z8 | | | | ) | | | | Z2 | | | ) & | | Z3 | ) | ( | | ( | | | Z4 V | | | ( | | | | Z8 | | | | Z2 | | | ) | | ) V | | ( | | | Z6 | | | Z7 | | ) | ) )	A572 = ( | Z2 ( ( ( | | | | | Z0 & | | | | | Z8 | | | | ) | | | | Z2 | | | ) & | | Z3 | ) ( ( | | | Z4 V ( | | | | Z8 | | | | Z2 | | | ) | | ) V ( | | | Z6 | | | Z7 | | ) | ) )	A572: { Z2; { { { Z0; & Z8; } Z2; } & Z3; } { { Z4; $ { Z8; Z2; } } $ { Z6; Z7; } } }

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

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

РТА: Рабочий текст алгоритма
7	8
A572: ya570 = Fa570(xa570): { Z2: yz2 = Fz2(xz2); { { { Z0: yz0 = Fz0(xz0); & Z8: yz8 = Fz8(xz8); } Z2: yz2 = Fz2(xz2); } & Z3: yz3 = Fz3(xz3); } { { Z4: yz4 = Fz4(xz4); $ { Z8: yz8 = Fz8(xz8); Z2: yz2 = Fz2(xz2); } } $ { Z6: yz6 = Fz6(xz6); Z7: yz7 = Fz7(xz7); } } }	A572: ya570 = Fa570(xa570) { yz2 = Fz2(xz2); { { { yz0 = Fz0(xz0); & yz8 = Fz8(xz8); } yz2 = Fz2(xz2); } & yz3 = Fz3(xz3); } { { yz4 = Fz4(xz4); $ { yz8 = Fz8(xz8); yz2 = Fz2(xz2); } } $ { yz6 = Fz6(xz6); yz7 = Fz7(xz7); } } }