Некоторые задачи идентификации состояний для недетерминированных автоматов Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.]
Material type: TextPublication details: Томск STT 2018Description: 189 с. ил., таблISBN: 9785936296222Other title: Some state identification problems of non-deterministic finite state machines [Parallel title]Subject(s): конечные автоматы детерминированные | конечные автоматы недетерминированные | умозрительные эксперименты | идентификация состояний автоматов | автоматы частичные | автоматы ненаблюдаемые | детерминированные автоматы | недетерминированные автоматы | автоматы наблюдаемые | Мура конечный автоматGenre/Form: монографии Online resources: Click here to access online Abstract: Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению "умозрительных" экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте. Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
1 месяц | Научная библиотека ТГУ Книгохранилище | 2-057510 (Browse shelf(Opens below)) | Available | 13820000980252 |
Библиогр.: с. 186-188
Доступ в сети ТГУ
Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению "умозрительных" экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте.
Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.
There are no comments on this title.