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