Построение кодопреобразователя

При построении нормализованного автомата переход d = (C.Может быть построена равносильная ей функция комбинированием булевых переменных x.__ __________ 2007г.Граф-дерево автомата Мура.Граф-дерево автомата Мили.Таблица переходов с распределением неопределённостей.Исключение недостижимых состояний.Видим, что в таблицах есть несовместимые переходы классов, поэтому продолжим разбиение.Руководитель Радкевич И. А.Ватутина /Лазуко/ А. Л.