Синтез условных различающих экспериментов для автоматов с недетерминированным поведением

Данная работа посвящена синтезу условных различающих экспериментов для трёх классов автоматов с недетерминированным поведением – детерминированных входо-выходных полуавтоматов, конечных недетерминированных автоматов и недетерминированных временных автоматов – без использования ограничения “всех погодных условий”. Эти эксперименты строятся на основе пересечения различаемых автоматов и могут быть использованы при построении проверяющих и диагностических тестов.