Упрощение структуры логического преобразователя конечного автомата при кодировании его состояний по столбцам таблицы переходов

Предложены алгоритмы кодирования состояний асинхронного конечного автомата (АКА), развивающие метод Лью–Сагаловича [1,2], с целью упрощения структуры логического преобразователя. Получено необходимое и достаточное условие существования полной параллельной декомпозиции АКА.