Методы построения минимальных диагностических слов для автомата и сложность их реализации

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