Рассмотрена проблема существования проверяющего теста длины 2 для асинхронных конечных детерминированных автоматов в отношении константных неисправностей на их внутренних и внешних полюсах. Проблема рассматривается в отношении асинхронных автоматов Мура. Получены необходимые и достаточные условия существования проверяющего теста длины 2 для асинхронных автоматов Мура относительно одиночных константных неисправностей на их внутренних и внешних полюсах.Освещена проблема существования проверяющего теста длины 2 для функциональных элементов в отношении константных неисправностей их входов и выходов. Проблема рассматривается в отношении одновыходных функциональных элементов. Получены необходимые и достаточные условия существоания проверяющего теста длины 2 для одновыходных функциональных элементов относительно кратных константных неисправностей на их входах и выходе.

  Повний текст PDF - 130.199 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"