Алгебра позиционных операторов и эквивалентных преобразований

Алгебра алгебре логики алгоритм 3.2 Аналогичными будем будет Вайка верна следующая всех операторов вида группоида двухпараметрических Доказательство Ек ещё зависимости задачи Замечание записи запись значения значит имеем имеет имеют инвертирование инвертированное использовать используя јк каждого Класс которых Лемма любого множество оператора может Например независимыми транспозициями них обозначается обозначения один означает опера оператора 3.30 операторов и эквивалентных операторов уровня операции определения оптимального подоператор позволяют позиционных операторов получаем Поскольку построить представления операторов преоб препринте применения ПТ Пусть ратор регулярных операторов рекурсивные равенства Рис родственны оператору самом деле следствия 3.6 случае согласно согласован с набором соединения соответствии соотношений теорему Тогда тор транс указанных Уп уровней операторов условия формула фундаментальных операторов числом параметров эквивалентных преобразований элемент является a₁ A₂ ABC ABC ABC b₁ b₂ D₁ ecau jaja jeje Q₁ R₁ R₂ RjJx w₁ X₁