Гигиена последовательностей вывода

Последовательность Вывода (ПВ) Функциональной Зависимости (ФЗ) из заданной совокупности ФЗ является программой умозрительной ВМ (Вычислительной машины), управляющейся командами F и B. Формализация представляет ПВ в виде Каскадно Упорядоченного Множества (КУМ) с порядками следования $\leqslant^{0)} :=\mathbf{=\twoheadrightarrow}$ и вывода $\leqslant^{1)} :=\mathbf{=\Rrightarrow}$, наследующего от ПВ нежелательные свойства программирования: 1. Вариативность создания; 2. Неконтролируемое исходящее гнездование (ветвление); 3. Возможность многократного повторения в программе функционально эквивалентных фрагментов; 4. Прочее. Настоящая работа нацелена на искоренение этих недостатков ПВ, что достигается спрямлением алгоритмов и реализуется цепочкой Лемма 3 $\mapsto$ Теорема 3 $\mapsto$ Теорема 4, которая в конечном счёте позволит каждой ПВ поставить в соответствие функционально эквивалентное ей алгебраическое выражение в некоторой D-алгебре.