Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению “умозрительных” экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте.
Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.
