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

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