Построение и использование одношаговой функциональной модели асинхронного автомата

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