Синтез условных различающих экспериментов для автоматов с недетерминированным поведениемСинтез условных различающих экспериментов для автоматов
с недетерминированным поведением
О локальной обратимости конечных автоматов без потери информации из этого класса со свойством синхронизируемости ассоциированного
с ним автомата без выхода. Найдены