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