Аннотация:
Рассматривается задача кодирования частичных состояний параллельного автомата. Предложен метод решения, который обеспечивает минимизацию числа элементов памяти в схеме, реализующей автомат, и минимизацию интенсивности их переключений. Задача сводится к нахождению минимального взвешенного покрытия графа его полными двудольными подграфами (бикликами).
Ключевые слова:параллельный автомат, частичное состояние, кодирование состояний, полный двудольный подграф, задача о взвешенном покрытии.