Выдержка из книги
Глушков В.М.
Синтез цифровых автоматов
Таким образом, расщепления 1-классов не происходит, и их можно принять за оо-классы и строить нормальные формы по найденным реакциям и включениям. Поскольку в трех местах нам предоставляется выбор из двух возможностей и еще в трех местах - выбор из трех возможностей, то существует всего 2 - 3 216 нормальных форм. В каждой из них за начальное состояние можно принять класс а, содержащий начальные состояния обоих данных автоматов.
