TY  - BOOK
AU  - Евтушенко,Нина Владимировна
AU  - Кушик,Наталья Геннадьевна
ED  - Томский государственный университет.
TI  - Некоторые задачи идентификации состояний для недетерминированных автоматов
SN  - 9785936296222
PY  - 2018///
CY  - Томск
PB  - STT
KW  - конечные автоматы детерминированные
KW  - конечные автоматы недетерминированные
KW  - умозрительные эксперименты
KW  - идентификация состояний автоматов
KW  - автоматы частичные
KW  - автоматы ненаблюдаемые
KW  - детерминированные автоматы
KW  - недетерминированные автоматы
KW  - автоматы наблюдаемые
KW  - Мура конечный автомат
KW  - монографии
N1  - Библиогр.: с. 186-188; Доступ в сети ТГУ
N2  - Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению "умозрительных" экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте.
Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648794
ER  -