Исследуются схемы, моделирующие программы с монотонными и, возможно, перестановочными операторами. Построен алгоритм, транслирующий произвольную схему эквивалентную ей свободную схему; построен алгоритм, преобразующий две эквивалентных схемы в эквивалентные им схемы с одинаковой логической структурой.
