Некоторые задачи идентификации состояний для недетерминированных автоматов /Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.]

Евтушенко, Нина Владимировна
Публикация
Томск : STT , 2018
Физическое описание
189 с.: ил., табл.
Электронный ресурс
Другой Автор
Кушик, Наталья Геннадьевна
Паралельное заглавие
Some state identification problems of non-deterministic finite state machines
Аннотация
Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению "умозрительных" экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте. Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.
Всего оценка: 0
Место хранения Расст.шифр Части Штрих-код Класс экземпляра Примечание Код коллекции Статус  
Библиотека Радиофизического факультета
681 Е273
13820000980252
Выдается в читальный зал
Доступно
 
 
 
03864nam a2200469 c 4500
001
 
 
vtls000648794
003
 
 
RU-ToGU
005
 
 
20190218140100.0
006
 
 
m    fo  d 
007
 
 
cr |
008
 
 
190213s2018    ru a   fsb    000 0 rus d
020
$a 9785936296222
035
$a to000648794
039
9
$a 201902181401 $b cat31 $c 201902131551 $d VLOAD $c 201902131518 $d cat40 $y 201902131509 $z VLOAD
040
$a RU-ToGU $b rus $c RU-ToGU
080
$a 681.513.6.015
080
$a 519.713:510.5
100
1
$a Евтушенко, Нина Владимировна
245
1
0
$a Некоторые задачи идентификации состояний для недетерминированных автоматов $c Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.]
246
1
1
$a Some state identification problems of non-deterministic finite state machines
260
$a Томск $b STT $c 2018
300
$a 189 с. $b ил., табл.
504
$a Библиогр.: с. 186-188
506
$a Доступ в сети ТГУ
520
3
$a Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению "умозрительных" экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте. Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.
653
$a конечные автоматы детерминированные
653
$a конечные автоматы недетерминированные
653
$a умозрительные эксперименты
653
$a идентификация состояний автоматов
653
$a автоматы частичные
653
$a автоматы ненаблюдаемые
653
$a детерминированные автоматы
653
$a недетерминированные автоматы
653
$a автоматы наблюдаемые
653
$a Мура конечный автомат
655
4
$a монографии
700
1
$a Кушик, Наталья Геннадьевна
710
2
$a Томский государственный университет.
852
4
$a RU-ToGU $h 681 $i Е273 $n ru
856
4
$u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648794
999
$a VIRTUA  
999
$a VTLSSORT0060*0070*0080*0200*0350*0400*0800*0801*1000*2450*2460*2600*3000*5040*5060*5200*6530*6531*6532*6533*6534*6535*6536*6537*6538*6539*6550*7000*7100*8520*8560*9992
Нет комментариев.
Предмет
монографии
Резюме
Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению "умозрительных" экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте. Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.